| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657 |
- /* *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** ***
- SurfingKeys Settings
- *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** *** */
- import { KeyMap } from "./src/objects/Keymap";
- import { Setting } from "./src/objects/Setting";
- import { SurfingkeysPerformanceMarks } from "./src/objects/SurfingkeysPerformanceMarks";
- (() => {
- window.performance.mark(SurfingkeysPerformanceMarks.Started);
- try {
- api.Hints.setCharacters("arstneio");
- api.map("n", "j");
- api.map("e", "k");
- api.map("i", "l");
- api.map("h", "o");
- new Setting("language", "en-US");
- new Setting("startToShowEmoji", Infinity);
- new Setting("tabsThreshold", 0);
- new Setting("focusAfterClosed", "last");
- new Setting("tabsMRUOrder", false);
- new Setting("historyMUOrder", false);
- new Setting("aceKeybindings", "vim");
- new Setting("scrollStepSize", Math.pow(2, 8));
- new Setting("omnibarMaxResults", Math.pow(2, 8));
- new Setting("omnibarSuggestion", true);
- } catch (err) {
- console.error(err);
- if (settings === undefined || api === undefined) {
- alert("SurfingKeys was not loaded correctly! See console for details.");
- return;
- }
- api.Front.showPopup(
- '<span style="color: maroon; font-weight: bold;">SurfingKeys initialization error: </span>' +
- err.toString(),
- );
- }
- // Save init runtime to help menu via dummy keymap
- new KeyMap(
- " ",
- () => {},
- KeyMap.categories.help,
- "Init took " +
- (window.performance.mark(SurfingkeysPerformanceMarks.Initialized)
- ? ""
- : "") +
- window.performance
- .measure(
- SurfingkeysPerformanceMarks.Measure,
- SurfingkeysPerformanceMarks.Started,
- SurfingkeysPerformanceMarks.Initialized,
- )
- .duration.toFixed(2)
- .toString() +
- "ms",
- ).set();
- })();
|