public class RichTextPreferenceGetter
extends java.lang.Object
Even though client can ignore these settings, it is strongly recommended that client follows these preference settings when displaying rich text content for consistency purpose.
Constructor and Description |
---|
RichTextPreferenceGetter() |
Modifier and Type | Method and Description |
---|---|
static boolean |
getDisplayRichTextInEditMode()
Returns whether to display rich text content in rich text editor
|
static boolean |
getDisplayRichTextOnDiagram()
Returns whether to display rich text on diagram.
|
static boolean |
getDisplayRichTextScrollbarOnDiagram()
Returns whether to display scroll bar for rich text on diagram.
|
static boolean |
getDisplayTextConversionAction()
Returns whether to show "rich text to plain text conversion" action on
application UI.
|
static boolean |
getEnableTextSpellcheck()
Returns true to enable spell checker for text editor.
|
static org.eclipse.swt.graphics.FontData |
getPlainTextDefaultFont()
Gets the default font for plain text editor
|
static void |
setEnableTextSpellcheck(boolean enable)
Sets whether to enable spell checker for rich text editor.
|
public static boolean getDisplayRichTextInEditMode()
public static boolean getDisplayRichTextOnDiagram()
public static boolean getDisplayRichTextScrollbarOnDiagram()
public static boolean getDisplayTextConversionAction()
public static boolean getEnableTextSpellcheck()
public static void setEnableTextSpellcheck(boolean enable)
enable
- true to enable spell checker; false tlo disable spell checkerpublic static org.eclipse.swt.graphics.FontData getPlainTextDefaultFont()