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
public void setContents(InputStream is, boolean expandURLs) {
		entered = null;
		disposeResourceTable(false);
		model.parseInputStream(is, expandURLs);
		hookControlSegmentFocus();
		layout();
		redraw();
	}
	private void hookControlSegmentFocus() {
		Paragraph[] paragraphs = model.getParagraphs();
		if (paragraphs == null)
			return;
		Listener listener = new Listener() {
			public void handleEvent(Event e) {
				switch (e.type) {
				case SWT.FocusIn:
					if (!controlFocusTransfer)
						syncControlSegmentFocus((Control) e.widget);
					break;
				case SWT.Traverse:
					if (DEBUG_FOCUS)
						System.out.println("Control 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;
					}