restore search window

dev-dist/sw.js

@@ -67,7 +67,7 @@ if (!self.define) {
     });
   };
 }
-define(['./workbox-5357ef54'], (function (workbox) { 'use strict';
+define(['./workbox-b7fccfec'], (function (workbox) { 'use strict';
 
   self.skipWaiting();
   workbox.clientsClaim();
@@ -82,12 +82,23 @@ define(['./workbox-5357ef54'], (function (workbox) { 'use strict';
     "revision": "3ca0b8505b4bec776b69afdba2768812"
   }, {
     "url": "index.html",
-    "revision": "0.aa2tv1h0in8"
+    "revision": "0.djkmkn674mo"
   }], {});
   workbox.cleanupOutdatedCaches();
   workbox.registerRoute(new workbox.NavigationRoute(workbox.createHandlerBoundToURL("index.html"), {
     allowlist: [/^\/$/]
   }));
+  workbox.registerRoute(({
+    url
+  }) => [/^https:\/\/raw\.githubusercontent\.com\/.*/i, /^https:\/\/shabda\.ndre\.gr\/.*/i].some(regex => regex.test(url)), new workbox.CacheFirst({
+    "cacheName": "external-samples",
+    plugins: [new workbox.ExpirationPlugin({
+      maxEntries: 5000,
+      maxAgeSeconds: 2592000
+    }), new workbox.CacheableResponsePlugin({
+      statuses: [0, 200]
+    })]
+  }), 'GET');
 
 }));
 //# sourceMappingURL=sw.js.map

src/EditorSetup.ts

@@ -21,7 +21,7 @@ import {
   bracketMatching,
 } from "@codemirror/language";
 import { defaultKeymap, historyKeymap, history } from "@codemirror/commands";
-import { highlightSelectionMatches } from "@codemirror/search";
+import { searchKeymap, highlightSelectionMatches } from "@codemirror/search"
 import {
   autocompletion,
   closeBrackets,
@@ -60,6 +60,7 @@ export const editorSetup: Extension = (() => [
   highlightActiveLine(),
   highlightSelectionMatches(),
   keymap.of([
+    ...searchKeymap,
     ...closeBracketsKeymap,
     ...defaultKeymap,
     ...historyKeymap,

src/themes/toposTheme.ts

@@ -22,7 +22,7 @@ const base00 = "#262626",
   base_lightgreen = "#A3BE8C";
 
 const invalid = base_red,
-  darkBackground = "#fdf6e3",
+  darkBackground = "#262626",
   highlightBackground = "#252525",
   // background = base00,
   tooltipBackground = base01,
@@ -46,18 +46,19 @@ export const toposDarkTheme = EditorView.theme(
       borderLeftColor: cursor,
     },
     "&.cm-focused .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection":
-      {
-        backgroundColor: base00,
-        border: `0.5px solid ${base00}`,
-      },
+    {
+      backgroundColor: base00,
+      border: `0.5px solid ${base00}`,
+    },
     ".cm-panels": {
       backgroundColor: darkBackground,
       color: base05,
     },
     ".cm-panels.cm-panels-top": { borderBottom: "2px solid black" },
     ".cm-panels.cm-panels-bottom": { borderTop: "2px solid black" },
+    ".cm-search.cm-panel": { backgroundColor: "transparent" },
     ".cm-searchMatch": {
-      outline: `1px solid ${base_yellow}`,
+      outline: `1px solid ${base_cyan}`,
     },
     ".cm-searchMatch.cm-searchMatch-selected": {
       backgroundColor: highlightBackground,