issues
search
nboldi
/
haskell-tools-atom
An Atom editor binding for the Haskell-tools framework
7
stars
2
forks
source link
Marker manager: support multiple editors for the same file
#12
Closed
nboldi
closed
7 years ago
nboldi
commented
7 years ago
When two editors are open for the same file,
sometimes tooltips stay instead of vanishing after 1s.
after fixing the errors the markers in the files do not disappear
when a new mistake is made, the marker is only displayed in one of the editors
When two editors are open for the same file,