craig
|
3f21d2e0da
|
init vars
|
2012-02-28 19:32:24 +00:00 |
|
craig
|
ef54c138b8
|
Set hidden at start-up, if enabled
|
2012-02-28 19:32:13 +00:00 |
|
craig
|
132efeae2e
|
Set a min width, allows main window to shrink more
|
2012-02-28 19:30:08 +00:00 |
|
craig
|
ef35eb49db
|
From Piotr: fix for autohiding splitter for situations, when expanding and collapsing the whole window (aka the mini mode) would bork up the sizes/proportions of the sidebar.
|
2012-02-27 19:57:08 +00:00 |
|
craig
|
c01ab87972
|
Fix for: no autohiding -> resize splitter -> enable autohiding -> splitter expands/collapses to size previously defined when the sidebar was in autohide state.
|
2012-02-24 19:23:53 +00:00 |
|
craig
|
19f4235d3c
|
Apply Piotr's updates for slider
|
2012-02-24 18:18:39 +00:00 |
|
craig
|
457d17127a
|
Add GUI for auto hiding slider
|
2012-02-24 18:09:37 +00:00 |
|
craig
|
5c4d45f0fd
|
Import auto-hiding-splitter from piotr
|
2012-02-23 17:43:39 +00:00 |
|