[web] Add advanced references search to CodeMirror 6 (#5939)

GitOrigin-RevId: 5731ec63565fc1b9c048e89bca21eb3303624133

services/web/config/settings.defaults.js

@@ -738,6 +738,8 @@ module.exports = {
     tprLinkedFileRefreshError: [],
     contactUsModal: [],
     editorToolbarButtons: [],
+    sourceEditorExtensions: [],
+    sourceEditorComponents: [],
   },
 
   moduleImportSequence: ['launchpad', 'server-ce-scripts', 'user-activate'],

services/web/frontend/extracted-translations.json

@@ -8,6 +8,7 @@
   "anyone_with_link_can_view": "",
   "ask_proj_owner_to_upgrade_for_git_bridge": "",
   "ask_proj_owner_to_upgrade_for_longer_compiles": "",
+  "ask_proj_owner_to_upgrade_for_references_search": "",
   "auto_compile": "",
   "autocompile_disabled": "",
   "autocompile_disabled_reason": "",
@@ -285,6 +286,7 @@
   "reconnect": "",
   "redirect_to_editor": "",
   "reference_error_relink_hint": "",
+  "references_search_hint": "",
   "refresh": "",
   "refresh_page_after_linking_dropbox": "",
   "refresh_page_after_starting_free_trial": "",
@@ -314,6 +316,8 @@
   "search_regexp": "",
   "search_replace": "",
   "search_replace_all": "",
+  "search_bib_files": "",
+  "search_references": "",
   "select_a_file": "",
   "select_a_project": "",
   "select_an_output_file": "",
@@ -378,6 +382,7 @@
   "update_dropbox_settings": "",
   "upgrade": "",
   "upgrade_for_longer_compiles": "",
+  "upgrade_to_get_feature": "",
   "upload": "",
   "url_to_fetch_the_file_from": "",
   "use_your_own_machine": "",

services/web/frontend/stories/fixtures/context.js

@@ -11,7 +11,9 @@ export function setupContext() {
     $scope = {
       ...window._ide.$scope,
       user: window.user,
-      project: {},
+      project: {
+        features: {},
+      },
       $watch: () => {},
       $applyAsync: () => {},
       $broadcast: () => {},

services/web/test/frontend/helpers/render-with-context.js

@@ -47,6 +47,9 @@ export function EditorProviders({
         _id: '124abd',
         email: 'owner@example.com',
       },
+      features: {
+        referencesSearch: true,
+      },
       rootDoc_id: '_root_doc_id',
     },
     rootFolder: rootFolder || {