chore(webui): stop tracking generated navigation.ts

Add navigation.ts to .gitignore for consistency with other
generated files (MDX docs, search index). The file is regenerated
by prebuild from the docs/ structure.

Author: vredchenko

webui/.gitignore

@@ -31,6 +31,7 @@ lerna-debug.log*
 # These files are regenerated during prebuild, do not edit directly
 src/docs/**/*.mdx
 !src/docs/index.mdx
+src/docs/navigation.ts
 
 # Generated search index (regenerated by scripts/prebuild.ts)
 public/search-index.json

webui/src/components/widgets/SearchPalette/SearchPalette.tsx

@@ -165,7 +165,6 @@ export const SearchPalette: React.FC<SearchPaletteProps> = ({
       case 'alphabetical':
         sorted.sort((a, b) => a.title.localeCompare(b.title))
         break
-      case 'relevance':
       default:
         break
     }

webui/src/config/index.ts

@@ -104,6 +104,13 @@ export const webUiAppContents: WebUiAppContents = {
 }
 
 // Re-export types that components might need
-export type { GitHubLabelsConfig, ArtefactsConfig, FeatureFlags, CryoEMInstrument, Repository, SearchConfig }
+export type {
+  GitHubLabelsConfig,
+  ArtefactsConfig,
+  FeatureFlags,
+  CryoEMInstrument,
+  Repository,
+  SearchConfig,
+}
 
 export default webUiAppContents