line marking fix

2026-07-17 13:48:13 +00:00 · 2013-03-03 08:09:18 +01:00
parent 0710522405
commit 67081d8865
1 changed files with 8 additions and 0 deletions
--- a/trunk/src/com/jpexs/decompiler/flash/abc/gui/LineMarkedEditorPane.java
+++ b/trunk/src/com/jpexs/decompiler/flash/abc/gui/LineMarkedEditorPane.java
@@ -47,6 +47,14 @@ public class LineMarkedEditorPane extends JEditorPane {
      });
   }

+   @Override
+   public void setText(String t) {
+      lastLine=-1;
+      super.setText(t);
+   }
+   
+   
+
   @Override
   public void paint(Graphics g) {
      g.setColor(Color.white);