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 ----//
|
|
|
|
settings.hintAlign = "left"
|
|
|
|
settings.omnibarSuggestionTimeout = 500
|
|
|
|
settings.richHintsForKeystroke = 1
|
2017-10-18 05:19:57 +00:00
|
|
|
|
2017-12-02 02:48:58 +00:00
|
|
|
// ---- Theme ----//
|
2017-10-18 05:19:57 +00:00
|
|
|
settings.theme = `
|
|
|
|
/* Disable RichHints CSS animation */
|
|
|
|
.expandRichHints {
|
|
|
|
animation: 0s ease-in-out 1 forwards expandRichHints;
|
|
|
|
}
|
|
|
|
.collapseRichHints {
|
|
|
|
animation: 0s ease-in-out 1 forwards collapseRichHints;
|
|
|
|
}
|
2017-12-02 02:48:58 +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)
|
|
|
|
util.processMaps(keys.maps, siteleader)
|
|
|
|
util.processCompletions(completions, searchleader)
|