mouseScrollFilterListener = new Listener() {\r
// This filter is used to prevent scrolling of the view when the\r
// mouse wheel is used to zoom\r
+ @Override\r
public void handleEvent(Event event) {\r
event.doit = false;\r
}\r
return changed;\r
}\r
\r
+ @Override\r
public ISelection getSelection() {\r
PlainSelection sel = new PlainSelection();\r
ITmfTimeAnalysisEntry trace = getSelectedTrace();\r
}\r
}\r
\r
+ @Override\r
public void keyTraversed(TraverseEvent e) {\r
if ((e.detail == SWT.TRAVERSE_TAB_NEXT)\r
|| (e.detail == SWT.TRAVERSE_TAB_PREVIOUS))\r
e.doit = true;\r
}\r
\r
+ @Override\r
public void keyPressed(KeyEvent e) {\r
int idx = -1;\r
if (SWT.HOME == e.keyCode) {\r
}\r
}\r
\r
+ @Override\r
public void keyReleased(KeyEvent e) {\r
}\r
\r
+ @Override\r
public void focusGained(FocusEvent e) {\r
_isInFocus = true;\r
redraw();\r
getDisplay().addFilter(SWT.MouseWheel, mouseScrollFilterListener);\r
}\r
\r
+ @Override\r
public void focusLost(FocusEvent e) {\r
_isInFocus = false;\r
if (0 != _dragState) {\r
return _isInFocus;\r
}\r
\r
+ @Override\r
public void mouseMove(MouseEvent e) {\r
if (null == _timeProvider)\r
return;\r
updateCursor(e.x, e.y);\r
}\r
\r
+ @Override\r
public void mouseDoubleClick(MouseEvent e) {\r
if (null == _timeProvider)\r
return;\r
_isDragCursor3 = false;\r
}\r
\r
+ @Override\r
public void mouseDown(MouseEvent e) {\r
if (null == _timeProvider)\r
return;\r
}\r
}\r
\r
+ @Override\r
public void mouseUp(MouseEvent e) {\r
if (0 != _dragState) {\r
setCapture(false);\r
}\r
}\r
\r
+ @Override\r
public void controlMoved(ControlEvent e) {\r
}\r
\r
+ @Override\r
public void controlResized(ControlEvent e) {\r
adjustScrolls();\r
}\r
\r
+ @Override\r
public void widgetDefaultSelected(SelectionEvent e) {\r
}\r
\r
+ @Override\r
public void widgetSelected(SelectionEvent e) {\r
if (e.widget == getVerticalBar()) {\r
_topItem = getVerticalBar().getSelection();\r
}\r
}\r
\r
+ @Override\r
public void mouseEnter(MouseEvent e) {\r
}\r
\r
+ @Override\r
public void mouseExit(MouseEvent e) {\r
if (_mouseHover) {\r
_mouseHover = false;\r
}\r
}\r
\r
+ @Override\r
public void mouseHover(MouseEvent e) {\r
}\r
\r
+ @Override\r
public void mouseScrolled(MouseEvent e) {\r
if (!_isInFocus)\r
return;\r
}\r
\r
// @Override\r
+ @Override\r
public void addSelectionChangedListener(ISelectionChangedListener listener) {\r
if (listener != null) {\r
if (!_selectionChangedListeners.contains(listener)) {\r
}\r
\r
// @Override\r
+ @Override\r
public void removeSelectionChangedListener(\r
ISelectionChangedListener listener) {\r
if (listener != null) {\r
}\r
\r
// @Override\r
+ @Override\r
public void setSelection(ISelection selection) {\r
if (selection instanceof PlainSelection) {\r
PlainSelection sel = (PlainSelection) selection;\r