display document path instead of file name in the main document settings menu

GitOrigin-RevId: f5e1773b8d20d2ffbfed04c8483c755d0f323cc2

services/web/frontend/js/features/editor-left-menu/components/settings/settings-document.tsx

@@ -22,7 +22,7 @@ export default function SettingsDocument() {
 
     const mappedDocs: Array<Option> = filteredDocs.map(doc => ({
       value: doc.doc.id,
-      label: doc.doc.name,
+      label: doc.path,
     }))
 
     return mappedDocs

services/web/test/frontend/components/editor-left-menu/editor-left-menu.spec.tsx

@@ -355,7 +355,7 @@ describe('<EditorLeftMenu />', function () {
             } as MainDocument['doc'],
           },
           {
-            path: 'main2.tex',
+            path: 'folder/main2.tex',
             doc: {
               name: 'main2.tex',
               id: 'id2',
@@ -381,10 +381,10 @@ describe('<EditorLeftMenu />', function () {
         cy.get<HTMLOptionElement>('#settings-menu-rootDocId option').then(
           options => {
             const values = [...options].map(o => o.value)
-            expect(values).to.deep.eq(['id1', 'id2'])
+            expect(values).to.deep.eq(docs.map(doc => doc.doc.id))
 
             const texts = [...options].map(o => o.text)
-            expect(texts).to.deep.eq(['main.tex', 'main2.tex'])
+            expect(texts).to.deep.eq(docs.map(doc => doc.path))
           }
         )
       })