Simon Michael
|
0851851ea9
|
ui: refactor: drop Vty. prefix
|
2016-06-10 16:39:06 -07:00 |
|
Simon Michael
|
ea180f72a0
|
ui: briefer on-screen help, and a more detailed help dialog
|
2016-06-10 11:50:57 -07:00 |
|
Simon Michael
|
6c6222ef85
|
ui: import Lens.Micro.Platform more correctly
|
2016-06-09 12:41:26 -07:00 |
|
Simon Michael
|
8bda78a447
|
ui: refactor, simplify, flatten screen types
|
2016-06-09 07:47:48 -07:00 |
|
Simon Michael
|
5c343a5848
|
ui: convert screen states to records
This is highly verbose, but potentially clearer, allows better haddock docs, and hopefully will improve after lensification.
|
2016-06-08 12:15:58 -07:00 |
|
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 |
|