void createShell(org.eclipse.swt.widgets.Display display) { shell = new org.eclipse.swt.widgets.Shell(display); shell.setText(resources.getString("Window_title")); org.eclipse.swt.layout.GridLayout layout = new org.eclipse.swt.layout.GridLayout(); layout.numColumns = 1; shell.setLayout(layout); shell.addShellListener( new org.eclipse.swt.events.ShellAdapter() { public void shellClosed(org.eclipse.swt.events.ShellEvent e) { lineStyler.disposeColors(); text.removeLineStyleListener(lineStyler); } }); }