2018-11-03 00:21:44 +00:00
|
|
|
const util = require("./util")
|
|
|
|
const keys = require("./keys")
|
2018-08-09 21:37:14 +00:00
|
|
|
const completions = require("./completions")
|
2017-12-02 02:48:58 +00:00
|
|
|
|
|
|
|
// ---- Settings ----//
|
2018-11-10 01:47:39 +00:00
|
|
|
util.addSettings({
|
2019-03-07 22:57:36 +00:00
|
|
|
hintAlign: "left",
|
|
|
|
omnibarSuggestionTimeout: 500,
|
|
|
|
richHintsForKeystroke: 1,
|
|
|
|
theme: `
|
2020-12-30 10:45:19 +00:00
|
|
|
body {
|
|
|
|
font-family: "DejaVu Sans", DejaVu, Arial, sans-serif;
|
|
|
|
}
|
|
|
|
|
2017-10-18 05:19:57 +00:00
|
|
|
/* Disable RichHints CSS animation */
|
|
|
|
.expandRichHints {
|
|
|
|
animation: 0s ease-in-out 1 forwards expandRichHints;
|
|
|
|
}
|
|
|
|
.collapseRichHints {
|
|
|
|
animation: 0s ease-in-out 1 forwards collapseRichHints;
|
|
|
|
}
|
2019-03-07 22:57:36 +00:00
|
|
|
`,
|
2018-11-10 01:47:39 +00:00
|
|
|
})
|
2017-12-02 02:48:58 +00:00
|
|
|
|
2019-09-11 01:26:03 +00:00
|
|
|
if (typeof Hints !== "undefined") {
|
|
|
|
Hints.characters = "qwertasdfgzxcvb"
|
|
|
|
}
|
2019-09-10 23:57:50 +00:00
|
|
|
|
2018-11-03 00:21:44 +00:00
|
|
|
// Leader for site-specific mappings
|
2017-12-02 02:48:58 +00:00
|
|
|
const siteleader = "<Space>"
|
|
|
|
|
2018-11-03 00:21:44 +00:00
|
|
|
// Leader for OmniBar searchEngines
|
|
|
|
const searchleader = "a"
|
2017-12-02 02:48:58 +00:00
|
|
|
|
2018-11-03 00:21:44 +00:00
|
|
|
// Process mappings and completions
|
|
|
|
// See ./keys.js and ./completions.js
|
|
|
|
util.rmMaps(keys.unmaps.mappings)
|
|
|
|
util.rmSearchAliases(keys.unmaps.searchAliases)
|
2019-09-10 23:44:28 +00:00
|
|
|
util.processMaps(keys.maps, keys.aliases, siteleader)
|
2018-11-03 00:21:44 +00:00
|
|
|
util.processCompletions(completions, searchleader)
|
2018-11-10 01:47:39 +00:00
|
|
|
|
|
|
|
module.exports = { siteleader, searchleader }
|