shift-shell/containments/panel/contents
2015-06-03 12:52:02 -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 better panel drag behavior 2015-06-03 12:52:02 -07:00