index.ts 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657
  1. /* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
  2. SurfingKeys Settings
  3. *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
  4. import { KeyMap } from "./src/objects/Keymap";
  5. import { Setting } from "./src/objects/Setting";
  6. import { SurfingkeysPerformanceMarks } from "./src/objects/SurfingkeysPerformanceMarks";
  7. (() => {
  8. window.performance.mark(SurfingkeysPerformanceMarks.Started);
  9. try {
  10. api.Hints.setCharacters("arstneio");
  11. api.map("n", "j");
  12. api.map("e", "k");
  13. api.map("i", "l");
  14. api.map("h", "o");
  15. new Setting("language", "en-US");
  16. new Setting("startToShowEmoji", Infinity);
  17. new Setting("tabsThreshold", 0);
  18. new Setting("focusAfterClosed", "last");
  19. new Setting("tabsMRUOrder", false);
  20. new Setting("historyMUOrder", false);
  21. new Setting("aceKeybindings", "vim");
  22. new Setting("scrollStepSize", Math.pow(2, 8));
  23. new Setting("omnibarMaxResults", Math.pow(2, 8));
  24. new Setting("omnibarSuggestion", true);
  25. } catch (err) {
  26. console.error(err);
  27. if (settings === undefined || api === undefined) {
  28. alert("SurfingKeys was not loaded correctly! See console for details.");
  29. return;
  30. }
  31. api.Front.showPopup(
  32. '<span style="color: maroon; font-weight: bold;">SurfingKeys initialization error: </span>' +
  33. err.toString(),
  34. );
  35. }
  36. // Save init runtime to help menu via dummy keymap
  37. new KeyMap(
  38. " ",
  39. () => {},
  40. KeyMap.categories.help,
  41. "Init took " +
  42. (window.performance.mark(SurfingkeysPerformanceMarks.Initialized)
  43. ? ""
  44. : "") +
  45. window.performance
  46. .measure(
  47. SurfingkeysPerformanceMarks.Measure,
  48. SurfingkeysPerformanceMarks.Started,
  49. SurfingkeysPerformanceMarks.Initialized,
  50. )
  51. .duration.toFixed(2)
  52. .toString() +
  53. "ms",
  54. ).set();
  55. })();