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)
, _film_viewer (viewer)
, _generally_sensitive (true)
, _ignore_deselect (false)
+ , _no_check_selection (false)
{
for (int i = 0; i < TEXT_COUNT; ++i) {
_text_panel[i] = 0;
return;
}
+ if (_no_check_selection) {
+ return;
+ }
+
_last_selected = selected ();
setup_sensitivity ();
void
ContentPanel::set_selection (ContentList cl)
{
+ _no_check_selection = true;
+
ContentList content = _film->content ();
for (size_t i = 0; i < content.size(); ++i) {
if (find(cl.begin(), cl.end(), content[i]) != cl.end()) {
_content->SetItemState (i, 0, wxLIST_STATE_SELECTED);
}
}
+
+ _no_check_selection = false;
+ check_selection ();
}
void