improve live update starting
In an expression like "balanced=foo and exclude=bar", avoid it starting a live update when the overall expression doesn't match.
This commit is contained in:
parent
16f945459c
commit
d60a33fd13
5 changed files with 67 additions and 47 deletions
2
Limit.hs
2
Limit.hs
|
@ -672,7 +672,7 @@ limitFullyBalanced''' filtercandidates termname mu getgroupmap g n want = Right
|
|||
u `elem` picker candidates key n
|
||||
_ -> False
|
||||
when wanted $
|
||||
startLiveUpdate lu
|
||||
needLiveUpdate lu
|
||||
return wanted
|
||||
, matchNeedsFileName = False
|
||||
, matchNeedsFileContent = False
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue