|
|
7aaeb636e4
|
gui: reduce size of schedule dock
|
2016-01-27 21:18:47 +01:00 |
|
|
|
16f6d00e35
|
gui: fix shortcut contexts. Closes #225
|
2016-01-16 12:53:53 -07:00 |
|
|
|
8778aef6a1
|
gui/schedule: hide vertical header
|
2016-01-07 16:56:48 +08:00 |
|
|
|
0eb8079b45
|
gui: fix some dock sizing issues
|
2015-12-11 00:20:20 +08:00 |
|
|
|
c3f99eda8f
|
gui: centralize subscribers
|
2015-11-11 12:13:19 +08:00 |
|
|
|
a7c9c95085
|
gui/explorer: support requesting termination of all instances
|
2015-11-05 19:04:10 +08:00 |
|
|
|
179416dac7
|
gui: delete shortcuts
|
2015-10-27 18:20:25 +08:00 |
|
|
|
f872d92d22
|
gui/schedule: improve delete status bar message
|
2015-10-27 18:20:11 +08:00 |
|
|
|
5c4ed7a9bd
|
fix imports
|
2015-10-12 19:46:14 +08:00 |
|
|
|
139072d402
|
Graceful experiment termination. Closes #76
|
2015-10-06 13:50:00 +08:00 |
|
|
|
f552d62b69
|
use Python 3.5 coroutines
|
2015-10-03 19:28:57 +08:00 |
|
|
|
b117b9320d
|
asyncio.async -> asyncio.ensure_future
|
2015-10-03 14:37:02 +08:00 |
|
|
|
54d85efc2a
|
master,gui: show Git commit messages in schedule
|
2015-08-08 11:08:04 +08:00 |
|
|
|
7ed8fe57fa
|
Git support
|
2015-08-07 15:51:56 +08:00 |
|
|
|
696bceb406
|
gui: feedback on run deletion
|
2015-07-25 15:08:27 +08:00 |
|
|
|
aa2acb9137
|
gui: auto resize of table columns
|
2015-07-23 22:36:52 +08:00 |
|
|
|
bd2bd68a54
|
gui,client: do now show arguments
|
2015-07-22 05:47:14 +08:00 |
|
|
|
84de2fb28b
|
expid: experiment -> class_name
|
2015-07-15 11:08:12 +02:00 |
|
|
|
e20b260117
|
gui: fix selections
|
2015-07-14 19:08:08 +02:00 |
|
|
|
aa242f7c66
|
scheduler: simplify priority policy
Remove overdueness. User must submit calibration experiments with higher priority values for them to take precedence.
|
2015-05-28 18:24:45 +08:00 |
|
|
|
5fb86af3a4
|
gui: support experiment cancellation
|
2015-05-24 23:20:52 +08:00 |
|
|
|
d6ced1c780
|
scheduler: support priorities
|
2015-05-24 01:09:22 +08:00 |
|
|
|
2570444941
|
gui: add empty explorer and console docks
|
2015-05-22 23:30:46 +08:00 |
|
|
|
ea53ed1af7
|
gui: switch to Qt
|
2015-05-22 17:06:31 +08:00 |
|
