" return true;",
" }",
" ",
- "",
+ "\t",
" ",
" if (ev.type != Gdk.EventType.BUTTON_PRESS || ev.button != 3) {",
" //print(\"click\" + ev.type);",
" if (!_this.view.el.get_path_at_pos((int)ev.x,(int)ev.y, out res, null, null, null) ) {",
" return true;",
" }",
+ " ",
+ "",
+ " _this.main_window.windowstate.leftTreeBeforeChange();",
+ "",
+ " ",
" ",
" this.el.get_selection().select_path(res);",
" ",