Simon Michael 347e9dc701 ui: clarify and refine journal reloading a bit ... The CLI options saved in the UI state are not updated if reloading fails. (I didn't need this change after all, but it seems reasonable.) Reloading on the error screen just updates the message, rather than entering a new error screen. Docs have been clarified.		2016-07-06 14:58:55 -07:00
..
UI	ui: clarify and refine journal reloading a bit	2016-07-06 14:58:55 -07:00
UI.hs	cli/ui/web: rename X.Options modules to X.XOptions	2015-08-28 12:43:51 -07:00