case SWT.FocusIn : case SWT.FocusOut : redraw(); break;
		public void handleEvent(Event event) {			switch (event.type) {				case SWT.Dispose :					dispose(event);					break;				case SWT.KeyDown :					keyDown(event);					break;				case SWT.Paint :					paint(event);					break;				case SWT.Traverse :					traverse(event);					break;				case SWT.FocusIn :				case SWT.FocusOut :					redraw();					break;			}		}