Convenience function to find a WRegion based on type and name
[notion/jeffpc.git] / mod_sp / cfg_sp.lua
blob7b2c2ac030e3e489e5020e7f157f503abcd0f3ef
1 --
2 -- Ion mod_sp configuration file
3 --
5 defbindings("WScreen", {
6 bdoc("Toggle scratchpad."),
7 kpress(META.."space", "mod_sp.set_shown_on(_, 'toggle')"),
9 -- A more ideal key for toggling the scratchpad would be the key left of
10 -- the key for numeral 1. Unfortunately the symbols mapped to this key
11 -- vary by the keyboard layout, and to be fully portable to different
12 -- architechtures and fancy keyboards, we can't rely on keycodes either.
13 -- However, on standard Finnish/Swedish (and other Nordic) keyboard
14 -- layouts the following should work:
15 --kpress(META.."section", "mod_sp.set_shown_on(_, 'toggle')"),
16 -- and on UK and US layouts this should work:
17 --kpress(META.."grave", "mod_sp.set_shown_on(_, 'toggle')"),