Changeset 437

Timestamp:

12/08/09 18:25:02 (3 years ago)

Author:

joerg

Message:

 

Location:

java/JLatexEditor

Files:

• src/sce/component/SCEDiff.java (modified) (4 diffs)
• test-src/util/diff/diff1.tex (deleted)
• test-src/util/diff/diff2.tex (deleted)
• test-src/util/diff/talk1.tex (deleted)
• test-src/util/diff/talk2.tex (deleted)
• test-src/util/diff/talk3.tex (deleted)
• test-src/util/diff/talk4.tex (deleted)

java/JLatexEditor/src/sce/component/SCEDiff.java

@@ -114 +114 @@
   }
 
+  private boolean paneScrollBarAdjusting = false;
+  private boolean diffScrollBarAdjusting = false;
   public void adjustmentValueChanged(AdjustmentEvent e) {
     JScrollBar scrollBar = (JScrollBar) e.getSource();
@@ -122 +124 @@
       scrollPane.getHorizontalScrollBar().setValue(e.getValue());
     }
-    if(scrollBar.getName().equals("paneV") && !e.getValueIsAdjusting()) {
+    if(scrollBar.getName().equals("paneV") && !paneScrollBarAdjusting) {
       if(linesMapPaneDiff == null) return;
       
@@ -133 +135 @@
 
       JScrollBar bar = scrollDiff.getVerticalScrollBar();
-      bar.setValueIsAdjusting(true);
+      diffScrollBarAdjusting = true;
       bar.setValue(diffY - diff.getVisibleRect().height/2);
-      bar.setValueIsAdjusting(false);
+      diffScrollBarAdjusting = false;
       repaint();
     }
-    if(scrollBar.getName().equals("diffV") && !e.getValueIsAdjusting()) {
+    if(scrollBar.getName().equals("diffV") && !diffScrollBarAdjusting) {
       if(linesMapDiffPane == null) return;
 
@@ -149 +151 @@
 
       JScrollBar bar = scrollPane.getVerticalScrollBar();
-      bar.setValueIsAdjusting(true);
+      paneScrollBarAdjusting = true;
       bar.setValue(paneY - pane.getVisibleRect().height/2);
-      bar.setValueIsAdjusting(false);
+      paneScrollBarAdjusting = false;
       repaint();
     }