Sometimes the PC has spurious errors, or other times you simply don't want to show errors as-you-type. We should add an option, clickable somewhere (toolbar, or right-click, quick-fix or maybe by clicking on the error bar on the right).
Leave a comment
on 2015-03-26 11:35 *
By Iulian Dragos
I put this tentatively in 4.1, but I don't think this should block the 4.1 release. Feel free to move to another milestone.
Move to next milestone.
No file chosen
You have an empty file field. Please select or remove it.
Name | Size | ||
---|---|---|---|
ScreenShot2015-03-26at12.35.44.png | 190 KB | Added by Iulian Dragos on 2015-03-26 - Upload new version |