LimitedSplitter (wxWindow* parent)
: wxSplitterWindow (parent, wxID_ANY, wxDefaultPosition, wxDefaultSize, wxSP_NOBORDER | wxSP_3DSASH | wxSP_LIVE_UPDATE)
{
-
+ /* This value doesn't really mean much but we just want to stop double-click on the
+ divider from shrinking the bottom panel (#1601).
+ */
+ SetMinimumPaneSize (64);
}
bool OnSashPositionChange (int new_position)
void
ContentPanel::check_selection ()
{
- if (_last_selected == selected()) {
- /* This was triggered by a re-build of the view but the selection
- did not really change.
- */
- return;
- }
-
if (_no_check_selection) {
return;
}
- _last_selected = selected ();
-
setup_sensitivity ();
BOOST_FOREACH (ContentSubPanel* i, panels()) {