{
vpRanges.setViewportStartAndWidth(offy * rowSize, rowSize);
}
- else
+ }
+ else
+ {
+ // This is only called if file loaded is a jar file that
+ // was wrapped when saved and user has wrap alignment true
+ // as preference setting
+ SwingUtilities.invokeLater(new Runnable()
{
- // This is only called if file loaded is a jar file that
- // was wrapped when saved and user has wrap alignment true
- // as preference setting
- SwingUtilities.invokeLater(new Runnable()
- {
- @Override
- public void run()
- {
- setScrollValues(vpRanges.getStartRes(),
- vpRanges.getStartSeq());
- }
- });
- }
+ @Override
+ public void run()
+ {
+ setScrollValues(vpRanges.getStartRes(), vpRanges.getStartSeq());
+ }
+ });
}
repaint();
}