indicator near error toggle button, dunno if a good idea.

This commit is contained in:
Manindra Moharana
2013-08-19 22:56:28 +05:30
parent 0a2f2662cf
commit c8ed546861
4 changed files with 23 additions and 4 deletions

View File

@@ -342,6 +342,7 @@ public class ErrorCheckerService implements Runnable{
updateEditorStatus();
editor.getTextArea().repaint();
updatePaintedThingys();
editor.updateErrorToggle();
int x = textModified.get();
//log("TM " + x);
if (x >= 2) {
@@ -371,8 +372,9 @@ public class ErrorCheckerService implements Runnable{
public boolean hasErrors(){
synchronized (problemsList) {
for (Problem p : problemsList) {
if (p.isError())
return false;
if (p.isError()){
return true;
}
}
return false;
}