Bug 202474 [Forms] Create a resource manager to share the bold font
If a FormToolkit is passed into FormEditor it is disposed upon disposal of the editor even though it may be shared.
bundles/org.eclipse.ui.forms/src/org/eclipse/ui/forms/widgets/FormText.java
}
		});
		addPaintListener(new PaintListener() {
			public void paintControl(PaintEvent e) {
				paint(e);
			}
		});
		addListener(SWT.KeyDown, new Listener() {
			public void handleEvent(Event e) {
				if (e.character == '\r') {
					activateSelectedLink();
					return;
				}
			}
		});
		addListener(SWT.Traverse, new Listener() {
			public void handleEvent(Event e) {
				if (DEBUG_FOCUS)
					System.out.println("Traversal: " + e); 
				switch (e.detail) {
				case SWT.TRAVERSE_PAGE_NEXT:
				case SWT.TRAVERSE_PAGE_PREVIOUS:
				case SWT.TRAVERSE_ARROW_NEXT:
				case SWT.TRAVERSE_ARROW_PREVIOUS:
					e.doit = false;
					return;
				}
				if (!model.hasFocusSegments()) {
					e.doit = true;
					return;