update load path dialog when path is modified via console * main-window.cc (modify_path): do not emit path_changed_signal, notificaton is emitted by addpath or rmpath themselves; (handle_set_path_dialog_request): do not connect obsolete signal but th new interpreter event signal update_path_dialog_signal to the update slot of the path dialog * main-window.h: remove obsolete path_changed_signal * qt-interpreter-events.cc (update_path_dialog): new method emitting new update_path_dialog_signal * qt-interpreter-events.h: new method update_path_dialog and new signal update_path_dialog_signal * event-manager.h: new virtual method interpreter_events::update_path_dialog, new function event_manager::update_path_dialog calling update_path_dialog if gui is running * load-path.cc (rehash_internal): call update_path_dialog of event manager

--- a/libinterp/corefcn/load-path.cc	Sat Aug 03 00:22:27 2019 +0200
+++ b/libinterp/corefcn/load-path.cc	Sun Aug 04 08:52:27 2019 +0200
@@ -179,6 +179,10 @@
 
     lp.update ();
 
+    // Signal the GUI allowing updating the load path dialog
+    event_manager& evmgr = __get_event_manager__ ("rehash_internal");
+    evmgr.update_path_dialog ();
+
     // FIXME: maybe we should rename this variable since it is being
     // used for more than keeping track of the prompt time.