shift-shell/containments/panel/contents
2017-09-05 15:53:42 +02:00
..
code remove pragma from layoutmanagers 2015-07-15 13:48:44 +02:00
config use an actual panel 2015-03-13 22:16:19 +01:00
ui don't let the top panel scroll out of sight 2017-09-05 15:53:42 +02:00