shift-shell/containments/panel/contents
2015-06-03 20:34:43 -07: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 restore the tabbar in the top panel 2015-06-03 20:34:43 -07:00