From: Alan Knowles Date: Tue, 26 Mar 2024 15:49:13 +0000 (+0800) Subject: src/Builder4/Editor.bjs X-Git-Url: http://git.roojs.org/?a=commitdiff_plain;h=df76e31048f61fc619bc7e8ebf51c953550dba36;p=roobuilder src/Builder4/Editor.bjs src/Builder4/Editor.vala --- diff --git a/src/Builder4/Editor.bjs b/src/Builder4/Editor.bjs index 612f45862..a568db1f7 100644 --- a/src/Builder4/Editor.bjs +++ b/src/Builder4/Editor.bjs @@ -1463,8 +1463,12 @@ ], "| void show" : [ "(Gee.ArrayList syms) {", - "\t_this.navigation_holder.el.show();", "\t", + "\tif (!_this.navigation_holder.el.visible) {", + "\t\t_this.navigation_holder.el.show();", + "\t\t_this.paned.el.position = ", + "\t\t\t_this.paned.el.get_width() - 120;", + "\t}", "\t//_this.navliststore.el.remove_all();", "\t", "\t", diff --git a/src/Builder4/Editor.vala b/src/Builder4/Editor.vala index caf2771d7..a8d8f2973 100644 --- a/src/Builder4/Editor.vala +++ b/src/Builder4/Editor.vala @@ -2020,8 +2020,12 @@ public class Editor : Object return row; } public void show (Gee.ArrayList syms) { - _this.navigation_holder.el.show(); + if (!_this.navigation_holder.el.visible) { + _this.navigation_holder.el.show(); + _this.paned.el.position = + _this.paned.el.get_width() - 120; + } //_this.navliststore.el.remove_all();