shift-shell/containments/panel/contents
2015-05-12 18:32:06 +02:00
..
code use an actual panel 2015-03-13 22:16:19 +01:00
config use an actual panel 2015-03-13 22:16:19 +01:00
ui correctly update root.expandedApplet value 2015-05-12 18:32:06 +02:00