7f501820de
gui: delete log/applet docks instead of hiding them
2016-03-10 10:35:44 +08:00
fef72506e4
ctlmgr/gui/master: start subprocesses in new pgroup
...
This only makes a difference on POSIX. It prevents subprocesses
from receiving the signals that the parent receives. For ctlmgr
and master is cuts down on spam on the console (KeyboardInterrupt
tracebacks from all controllers) and enforces that proper
termination is followed.
This does not help if the parent gets SIGKILL (subprocesses
may linger).
2016-02-18 23:51:12 +01:00
2ce3c08697
gui/applets: escape backslashes in {python} and {ipc_address}
2016-02-16 12:52:11 +01:00
d30fe60edd
gui: remove pyqtgraph
2016-02-15 00:23:47 +01:00
9797acc964
gui/applets: prevent size from shrinking to zero when docked
2016-02-14 23:27:59 +01:00
489f69f991
gui: reliable detection of dock close
2016-02-14 22:22:07 +01:00
3c12c13a67
gui: dock state save/restore
2016-02-14 13:46:15 +01:00
daf49efa04
gui: rough conversion to the Qt docking system
2016-02-14 12:15:57 +01:00
29d4755567
gui/applets: prevent concurrent process start/stop
2016-02-11 16:25:44 +01:00
92c0ede689
applets: workaround for Qt window embedding initial size bug
2016-02-11 16:19:34 +01:00
cd9467a8df
gui/applets: properly destroy container widget when process is terminated
2016-02-11 16:02:10 +01:00
d1e54c86b1
gui/applets: log warning if IPC address not in command
2016-02-08 22:39:47 +01:00
67327b1e61
applets: avoid argparse subparser mess
2016-02-08 22:25:02 +01:00
4733c4ba1e
gui/applets: save dock UID in state
2016-02-08 21:57:07 +01:00
7584b02d66
applets: fix error message text
2016-02-08 19:23:50 +01:00
de99e7f830
applets: handle dataset mutations
2016-02-08 19:20:07 +01:00
f25b5442e7
applets: properly name docks to support state save/restore
2016-02-08 16:26:02 +01:00
8844fba4c9
applets: clean shutdown
2016-02-08 14:35:37 +01:00
741b11c26d
applets: basic embedding OK
2016-02-08 09:59:15 +01:00
f9a6ba1884
gui/applets: add shortcuts
2016-01-16 13:12:16 -07:00
9acf8b7c1a
gui/applets: templates
2016-01-15 10:15:06 -07:00
cc3a45d4e4
gui/applets: fix applet removal
2016-01-15 10:11:13 -07:00
2199eadb99
gui/applets: save/restore state
2016-01-09 19:32:50 +08:00
1ea73be56d
gui/applets: all basic functionality, no state save/restore
2016-01-08 20:07:02 +08:00
597c2e4b17
gui/applets: startup and embedding working
2016-01-08 13:04:36 +08:00
e106ee3f90
gui: basic applet dock editing
2016-01-07 20:23:17 +08:00
