Remove pre-0.5.2 error markers
Submitted by Lennart Kats on 5 July 2010 at 10:56
10:54:37 did you change anything when it comes to error markers and their persistency? I have an error in a mobl file that seems really old and it doesn’t seem to want to go to away.
10:55:09 <Chip_Zero> zefhemel: oh, yes, I suppose that’s possible - I’ll have to add something to smooth the migration
10:55:25 <Chip_Zero> for now you can remove them by pressing delete in the problems view
10:56:02 cool, I can delete errors :)
10:57:04 <Chip_Zero> :)
10:58:18 <Chip_Zero> zefhemel: so these were semantic errors, I suppose?
Implemented in r21076.
Log in to post comments