Simon Michael
|
5259605e82
|
ui: simplify screen naming & importing
|
2016-06-08 11:03:49 -07:00 |
|
Simon Michael
|
70d596fb38
|
ui: extract journal reloading
|
2016-06-08 10:48:34 -07:00 |
|
Simon Michael
|
1e93feeff3
|
ui: distinguish regenerateScreens from journal reloading
|
2016-06-08 10:42:51 -07:00 |
|
Simon Michael
|
bbcbaf6080
|
ui: Esc (outside minibuffer) resets, jumps to top
|
2016-06-07 09:26:16 -07:00 |
|
Simon Michael
|
0a90ef4658
|
ui: preserve --ignore-assertions & flags on reload
|
2016-05-02 20:12:11 -07:00 |
|
Simon Michael
|
f331ebec16
|
ui, api: switch to the quicker-building microlens
This may not make much difference since dependencies brick and
servant-swagger still depend on lens, but that might change.
|
2016-04-04 17:50:58 -07:00 |
|
Simon Michael
|
2515025a84
|
ui: pressing g once now reloads all screens
|
2015-10-28 10:17:15 -07:00 |
|
Simon Michael
|
b527209e9f
|
ui: err: tweak error message, make it red
|
2015-10-28 10:02:04 -07:00 |
|
Simon Michael
|
6f85e02f1a
|
ui: show an error screen when reloading fails
|
2015-10-26 07:41:45 -07:00 |
|