diff options
Diffstat (limited to 'src/gui/ingen_gui.ui')
| -rw-r--r-- | src/gui/ingen_gui.ui | 15 |
1 files changed, 4 insertions, 11 deletions
diff --git a/src/gui/ingen_gui.ui b/src/gui/ingen_gui.ui index 212497f8..5ba80d7a 100644 --- a/src/gui/ingen_gui.ui +++ b/src/gui/ingen_gui.ui @@ -2182,27 +2182,20 @@ Contributors: </child> </object> <packing> - <property name="resize">False</property> - <property name="shrink">True</property> + <property name="resize">True</property> + <property name="shrink">False</property> </packing> </child> <child> <object class="GtkScrolledWindow" id="patch_documentation_scrolledwindow"> - <property name="visible">True</property> <property name="can_focus">True</property> <property name="shadow_type">in</property> <child> - <object class="GtkTextView" id="patch_documentation_textview"> - <property name="visible">True</property> - <property name="can_focus">True</property> - <property name="editable">False</property> - <property name="wrap_mode">word</property> - <property name="cursor_visible">False</property> - </object> + <placeholder/> </child> </object> <packing> - <property name="resize">True</property> + <property name="resize">False</property> <property name="shrink">True</property> </packing> </child> |