* of visible lines in the StyledText control is set to fill the viewer display area.\r
* An underlying data model is used to store a cache of event raw text line data.\r
* The slider is ratio-based.\r
- * \r
+ *\r
* @version 1.0\r
* @author Patrick Tasse\r
*/\r
private int getPreviousCaretOffset(int time) {\r
if (fStoredCaretPosition[0].time == time) {\r
return fStoredCaretPosition[1].caretOffset;\r
- } else {\r
- return fStoredCaretPosition[0].caretOffset;\r
}\r
+ return fStoredCaretPosition[0].caretOffset;\r
}\r
\r
private void updateHighlightedRank() {\r
}\r
break;\r
}\r
+ default:\r
+ break;\r
}\r
//fSlider.setSelection((int) (SLIDER_MAX * ((double) fLines.get(fTopLineIndex).rank / fTrace.getNbEvents())));\r
if (e.detail != SWT.NONE) {\r
}\r
break;\r
}\r
+ default:\r
+ break;\r
}\r
//fSlider.setSelection((int) (SLIDER_MAX * ((double) fLines.get(fTopLineIndex).rank / fTrace.getNbEvents())));\r
updateHighlightedRank();\r