2022-12-04 23:38:54 +01:00
|
|
|
--
|
|
|
|
|
-- Ion mod_sp configuration file
|
|
|
|
|
--
|
|
|
|
|
|
2023-02-22 08:18:57 +01:00
|
|
|
mod_sp.set_size(1400, 800);
|
2022-12-04 23:38:54 +01:00
|
|
|
|
|
|
|
|
defbindings("WScreen", {
|
|
|
|
|
bdoc("Toggle scratchpad."),
|
|
|
|
|
kpress(META.."minus", "mod_sp.set_shown_on(_, 'toggle')"),
|
|
|
|
|
})
|
|
|
|
|
|
