main_contents.pack_start (*constraint_hbox, false, false);
if (is_scrollable ) {
main_contents.pack_start (*constraint_hbox, false, false);
if (is_scrollable ) {
- scroller.set_policy (Gtk::POLICY_AUTOMATIC, Gtk::POLICY_AUTOMATIC);
+ scroller.set_policy (Gtk::POLICY_NEVER, Gtk::POLICY_AUTOMATIC);
scroller.set_name ("PluginEditor");
scroller_view.set_name("PluginEditor");
scroller_view.add (hpacker);
scroller.set_name ("PluginEditor");
scroller_view.set_name("PluginEditor");
scroller_view.add (hpacker);
if (scrollable) {
if (h > 600) h = 600;
if (scrollable) {
if (h > 600) h = 600;
- if (w > 600) w = 600;
-
- if (w < 0) {
- w = 450;
- }
}
set_default_size (w, h);
}
set_default_size (w, h);