//fSlider.setSelection((int) (SLIDER_MAX * ((double) fLines.get(fTopLineIndex).rank / fTrace.getNbEvents())));\r
fSlider.setSelection((int) (SLIDER_MAX * fTrace.getLocationRatio(fLines.get(fTopLineIndex).location)));\r
}\r
+ } else {\r
+ fBottomContext = null;\r
+ fillTextArea();\r
+ fSlider.setThumb(SLIDER_MAX);\r
+ fSlider.setSelection(0);\r
}\r
}\r
\r