Fix #7238 - remove clutter and change layout of interface

[roobuilder] / src / Builder4 / Editor.bjs

diff --git a/src/Builder4/Editor.bjs b/src/Builder4/Editor.bjs
index 7562ad0..200de80 100644 (file)
--- a/src/Builder4/Editor.bjs
+++ b/src/Builder4/Editor.bjs
@@ -19,6 +19,7 @@
    "Gtk.Orientation orientation" : "Gtk.Orientation.VERTICAL",
    "Gtk.SourceSearchContext searchcontext" : "null",
    "bool hexpand" : true,
+   "bool vexpand" : true,
    "int last_search_end" : 0,
    "items" : [
     {