// GraphicalViewerKeyHandler keyHandler = new GraphicalViewerKeyHandler(viewer);
keyHandler.put(KeyStroke.getPressed(SWT.DEL, 127, SWT.NONE),
getActionRegistry().getAction(ActionFactory.DELETE.getId()));
- keyHandler.put(KeyStroke.getPressed((char)26, 122, SWT.CTRL), // Ctrl+z
+ keyHandler.put(KeyStroke.getPressed((char) 26, 122, SWT.CTRL), // Ctrl+z
getActionRegistry().getAction(ActionFactory.UNDO.getId()));
- keyHandler.put(KeyStroke.getPressed((char)25, 121, SWT.CTRL), // Ctrl+y
+ keyHandler.put(KeyStroke.getPressed((char) 25, 121, SWT.CTRL), // Ctrl+y
getActionRegistry().getAction(ActionFactory.REDO.getId()));
keyHandler.put(KeyStroke.getPressed(SWT.ARROW_LEFT, SWT.NONE), getActionRegistry()
.getAction(Messages.ACTION_MOVE_LEFT));
@Override
public void pageChanged(PageDataEvent e) {
- getViewer().updateStyle();
+ if (getViewer() != null) {
+ getViewer().updateStyle();
+ }
}