rusefi
/
rusefi-full
mirror of https://github.com/rusefi/rusefi-full.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

live data progress: UI flickering

This commit is contained in:
rusefillc 2022-01-02 16:44:02 -05:00
parent d0fb342928
commit 00e4304a70
1 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
java_console/ui/src/main/java/com/rusefi/livedata/LiveDataParserPanel.java
View File

@ -73,12 +73,10 @@ public class LiveDataParserPanel {
} catch (BadLocationException e) {
throw new IllegalStateException(e);
}
if (r == null)
return; // when would this happen?
g.drawString(value.toString(), r.x, r.y);
}
}
};
private final VariableValueSource valueSource;
@ -139,7 +137,14 @@ public class LiveDataParserPanel {
StyleContext sc = StyleContext.getDefaultStyleContext();
StyledDocument styledDocument = text.getStyledDocument();
SimpleAttributeSet attributes = new SimpleAttributeSet();
DefaultStyledDocument styledDocument = new DefaultStyledDocument();
try {
styledDocument.insertString(0, sourceCode, attributes);
} catch (BadLocationException e) {
throw new IllegalStateException(e);
}
AttributeSet oldSet = styledDocument.getCharacterElement(0).getAttributes();
styledDocument.setCharacterAttributes(0, sourceCode.length(), sc.getEmptySet(), true);
@ -158,6 +163,7 @@ public class LiveDataParserPanel {
styledDocument.setCharacterAttributes(range.getStart(), range.getLength(), s, false);
}
}, tree);
text.setDocument(styledDocument);
}
@NotNull