← Back to branch summary

~xabsl/xabsleditor/trunk

« back to all changes in this revision

Viewing changes to src/de/hu_berlin/informatik/ki/jxabsleditor/editorpanel/XEditorPanel.java

  • Committer: mellmann
  • Date: 2010-06-09 21:04:36 UTC
  • mfrom: (119.1.10 brunch)
  • Revision ID: mellmann@informatik.hu-berlin.de-20100609210436-u8ub17pzb5hz6o6m
merged the bugfixes noticed by the fumanoids

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/de/hu_berlin/informatik/ki/jxabsleditor/editorpanel/XEditorPanel.java
281
281
    }
282
282
 
283
283
    this.textArea.revalidate();
284
 
  }
 
284
  }//end setCarretPosition
 
285
 
 
286
  public void jumpToLine(int line)
 
287
  {
 
288
    try{
 
289
      int startOffs = textArea.getLineStartOffset(line);
 
290
      setCarretPosition(startOffs);
 
291
    }catch(BadLocationException ex)
 
292
    {
 
293
      // couldn't jump...
 
294
    }
 
295
  }//end jumpToLine
285
296
 
286
297
  public void loadFromFile(File file)
287
298
  {