Changeset 555
- Timestamp:
- 01/24/10 16:34:20 (3 years ago)
- Files:
-
- 1 modified
-
trunk/src/sce/component/SCEDiff.java (modified) (4 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/sce/component/SCEDiff.java
r554 r555 86 86 public void keyPressed(KeyEvent e) { 87 87 if (e.getModifiers() == KeyEvent.ALT_MASK) { 88 // alt+up 88 89 if (e.getKeyCode() == KeyEvent.VK_UP) { 89 90 jumpToPreviousTargetModification(); 90 91 e.consume(); 91 92 } 93 // alt+down 92 94 if (e.getKeyCode() == KeyEvent.VK_DOWN) { 93 95 jumpToNextTargetModification(); … … 101 103 public void keyPressed(KeyEvent e) { 102 104 if (e.getModifiers() == KeyEvent.ALT_MASK) { 105 // alt+up 103 106 if (e.getKeyCode() == KeyEvent.VK_UP) { 104 107 jumpToPreviousSourceModification(); 105 108 e.consume(); 106 109 } 110 // alt+down 107 111 if (e.getKeyCode() == KeyEvent.VK_DOWN) { 108 112 jumpToNextSourceModification(); … … 124 128 } 125 129 } 126 127 130 } 128 131 … … 143 146 int currRow = caret.getRow(); 144 147 145 for (int modi = 0; modi < modifications.size(); modi++) { 146 if (modifications.get(modi).getSourceStartIndex() >= currRow) { 147 if (modi > 0) { 148 right.getCaret().moveTo(modifications.get(modi-1).getSourceStartIndex(), 0); 149 } 148 for (int modi = modifications.size()-1; modi >= 0; modi--) { 149 if (modifications.get(modi).getSourceStartIndex() < currRow) { 150 right.getCaret().moveTo(modifications.get(modi).getSourceStartIndex(), 0); 150 151 break; 151 152 }
![(please configure the [header_logo] section in trac.ini)](http://jlatexeditor.endrullis.de/chrome/site/logo.png)