ui: comment
This commit is contained in:
parent
a1555ce964
commit
7ad31e65a1
@ -176,9 +176,12 @@ runBrickUi uopts@UIOpts{cliopts_=copts@CliOpts{reportopts_=ropts}} j = do
|
|||||||
$ \_ -> do
|
$ \_ -> do
|
||||||
|
|
||||||
-- start one or more background threads reporting changes in the directories of our files
|
-- start one or more background threads reporting changes in the directories of our files
|
||||||
-- XXX misses quick successive saves (still ? hard to reproduce now)
|
-- XXX many quick successive saves causes the problems listed in BUGS
|
||||||
-- XXX then refuses to reload manually (should be fixed now ?)
|
-- with Debounce increased to 1s it easily gets stuck on an error or blank screen
|
||||||
-- withManagerConf defaultConfig{confDebounce=Debounce 1000} $ \mgr -> do
|
-- until you press g, but it becomes responsive again quickly.
|
||||||
|
-- withManagerConf defaultConfig{confDebounce=Debounce 1} $ \mgr -> do
|
||||||
|
-- with Debounce at the default 1ms it clears transient errors itself
|
||||||
|
-- but gets tied up for ages
|
||||||
withManager $ \mgr -> do
|
withManager $ \mgr -> do
|
||||||
dbg1IO "fsnotify using polling ?" $ isPollingManager mgr
|
dbg1IO "fsnotify using polling ?" $ isPollingManager mgr
|
||||||
files <- mapM canonicalizePath $ map fst $ jfiles j
|
files <- mapM canonicalizePath $ map fst $ jfiles j
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user