marcel/kinto
1
0
Fork 0
mirror of https://github.com/rbreaves/kinto.git synced 2025-08-14 06:39:16 +02:00
Code Issues Packages Projects Releases Wiki Activity

- Added Dev Tools shortcut for browsers, including MS Edge. Closes #347

Browse Source
This commit is contained in:
Ben Reaves
2020-12-07 22:22:41 -06:00
parent 4b51013380
commit cf2353b5a6
2 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
xkeysnail-config/kinto.py
View File

@@ -12,7 +12,7 @@ terminals = [term.casefold() for term in terminals]
termStr = "|".join(str(x) for x in terminals)
# Use for browser specific hotkeys
browsers = ["Chromium","Chromium-browser","Google-chrome","Epiphany","Firefox","Discord"]
browsers = ["Chromium","Chromium-browser","Google-chrome","microsoft-edge-dev","microsoft-edge","Epiphany","Firefox","Discord"]
browsers = [browser.casefold() for browser in browsers]
browserStr = "|".join(str(x) for x in browsers)
@@ -198,7 +198,9 @@ define_keymap(re.compile("org.gnome.nautilus", re.IGNORECASE),{
# Keybindings for Browsers
define_keymap(re.compile(browserStr, re.IGNORECASE),{
K("RC-Q"): K("RC-Q"), # Close all browsers Instances
K("RC-Q"): K("RC-Q"), # Close all browsers Instances
K("Super-RC-I"): K("RC-Shift-I"), # Dev tools
K("Super-RC-J"): K("RC-Shift-J"), # Dev tools
})
define_keymap(None,{