Bug 299588 [Forms] Widget disposed exception when closing shell from a FormText selection
bundles/org.eclipse.ui.forms/src/org/eclipse/ui/forms/widgets/FormText.java
if (pc.setFocus())
							return false;
					}
				}
			}
		}
		return false;
	}
	/**
	 * Controls whether whitespace inside paragraph and list items is
	 * normalized. Note that the new value will not affect the current text in
	 * the control, only subsequent calls to <code>setText</code> or
	 * <code>setContents</code>.
	 * <p>
	 * If normalized:
	 * <ul>
	 * <li>all white space characters will be condensed into at most one when
	 * between words.</li>
	 * <li>new line characters will be ignored and replaced with one white
	 * space character</li>
	 * <li>white space characters after the opening tags and before the closing
	 * tags will be trimmed</li>
	 * 
	 * @param value
	 *            <code>true</code> if whitespace is normalized,
	 *            <code>false</code> otherwise.
	 */
	public void setWhitespaceNormalized(boolean value) {
		model.setWhitespaceNormalized(value);
	}