File indexing completed on 2024-11-10 04:55:56 

0001 function init() {
0002     const edge = readConfig("Edge", 1);
0003     if (readConfig("mode", "") == "unregister") {
0004         unregisterScreenEdge(edge);
0005     } else {
0006         registerScreenEdge(edge, workspace.slotToggleShowDesktop);
0007     }
0008 }
0009 options.configChanged.connect(init);
0010 
0011 init();
0012