Merge pull request #830 from LarsGit223/issue829

scope: corrected height of "Environment" GtkTextView
geany · Mar 31, 2019 · a7d2b42 · a7d2b42
2 parents be61b50 + b69bb13
commit a7d2b42
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scope/data/scope_gtk3.glade b/scope/data/scope_gtk3.glade
@@ -2535,6 +2535,7 @@
                 <property name="can_focus">True</property>
                 <child>
                   <object class="GtkVBox" id="program_page_vbox">
+                    <property name="height_request">350</property>
                     <property name="visible">True</property>
                     <property name="border_width">6</property>
                     <property name="orientation">vertical</property>