Simon Michael 6dd406779b ui: always reload when g is pressed ... Previously it would check the modification time and reload only if it looked newer than the last reload. But this could get confused somehow by fsnotify events, such that there were unloaded changes on disk yet pressing g did nothing.		2016-11-24 20:23:14 -08:00
..
UI	ui: always reload when g is pressed	2016-11-24 20:23:14 -08:00
UI.hs	cli/ui/web: rename X.Options modules to X.XOptions	2015-08-28 12:43:51 -07:00