Similarly to how launcher.vala does with GLib.Timeout.
Currently, after a process is asked to exit, the editor waits for its socket to disconnect. Unfortunately, this method does not support GTK's cancellable interface and infinite waits may happen.
We should use the Luancher's wait() interface, removing the socket waiting altogether.
Similarly to how launcher.vala does with GLib.Timeout.
Currently, after a process is asked to exit, the editor waits for its socket to disconnect. Unfortunately, this method does not support GTK's cancellable interface and infinite waits may happen.
We should use the Luancher's wait() interface, removing the socket waiting altogether.