src/Builder4/Editor.bjs
[app.Builder.js] / src / Builder4 / Editor.vala
index 40e7e31..eeadbcd 100644 (file)
@@ -43,6 +43,7 @@ public class Editor : Object
         this.activeEditor = "";
         this.ptype = "";
         this.key = "";
+        this.searchcontext = null;
         this.file = null;
         this.pos = false;
         this.dirty = false;