public final class EditorProperties
extends java.lang.Object
EditorProperties
class provides a global registry
for properties which affect all documents and editor panes of this
package. This simply provides a convenient way to allow them to
share properties (such as a style table) without having to create a
local entry for common properties. This is a singleton class. Implementation Notes:
We currently employ a hierarchy of properties here based on their scope of coverage to reduce the duplication among hash tables. For example, the StyleRegistry should be a global one here so that all documents and editors share the same one - hence it is stored here in a globally accessible property area.
The particular syntax highlighter of a document should be stored with the document so that if there are multiple editors open on that document, they will share the same syntax highlighter.
Modifier and Type | Field and Description |
---|---|
static int |
GUTTER_COLORS_USE_CUSTOM
Constant to indicate that the gutter should use the configured
custom colors.
|
static int |
GUTTER_COLORS_USE_EDITOR
Constant to indicate that the gutter should use the editor
background/foreground defaults for its colors.
|
static int |
GUTTER_COLORS_USE_LNF
Constant to indicate that the gutter should use the L&F defaults
for its background color.
|
static java.lang.String |
PROPERTY_AUTOINDENT_COPY_PASTE
Name of the property for whether Copy/paste should automaticaly indent
properly the pastes block
|
static java.lang.String |
PROPERTY_AUTOREFORMAT_COPY_PASTE
Name of the property for whether Copy/paste should automaticaly reformat
properly the pastes block
|
static java.lang.String |
PROPERTY_BRACE_MATCHING_AUTO
Name of the property which determines whether to enable automatic
brace matching of braces at the caret.
|
static java.lang.String |
PROPERTY_BRACE_MATCHING_DELAY
Name of the property which determines the delay before performing
automatic brace matching.
|
static java.lang.String |
PROPERTY_BRACE_MATCHING_ENCLOSING_BLOCKS
Whether to highlight the braces for the enclosing block.
|
static java.lang.String |
PROPERTY_BRACE_MATCHING_ENCLOSING_PARENS
Whether to highlight the braces for the enclosing parenthesis.
|
static java.lang.String |
PROPERTY_CARET_BLINK_RATE
Property name for the blink rate of the caret, in milliseconds.
|
static java.lang.String |
PROPERTY_CARET_COLOR
Property name for the caret color to use for painting the editor
caret.
|
static java.lang.String |
PROPERTY_CARET_EDITOR_SELECTION_TYPE
The property name for the type of selection the editor (e.g.
|
static java.lang.String |
PROPERTY_CARET_ENABLE_BLINK
Property name for whether the caret should blink.
|
static java.lang.String |
PROPERTY_CARET_INSET_COLUMNS
Name of the property which determines the number of columns (+/-) the
caret keeps visible when setting the caret position.
|
static java.lang.String |
PROPERTY_CARET_INSET_ROWS
Name of the property which determines the number of rows (+/-) the caret
keeps visible when setting the caret position.
|
static java.lang.String |
PROPERTY_CARET_RIGHT_CLICK_SELECTION
The property name for whether right-click will position the
caret when clicking outside of a selection.
|
static java.lang.String |
PROPERTY_CARET_SHAPE_INSERT
Property name for the caret shape to use when the editor caret
is in insert mode.
|
static java.lang.String |
PROPERTY_CARET_SHAPE_OVERWRITE
Property name for the caret shape to use when the editor caret
is in overwrite mode.
|
static java.lang.String |
PROPERTY_CARET_XOR_PAINTING
The property name for whether the caret should use xor painting
or regular painting.
|
static java.lang.String |
PROPERTY_CHECK_CLIPBOARD_FOR_PASTE
Property name for whether BasicEditorPane.canPaste() should
check the contents of the clipboard to see if it is pasteable.
|
static java.lang.String |
PROPERTY_CHECK_FRAGLIST_RECYCLING
Property name for whether to check if the StyledFragmentsList
is being recycled properly.
|
static java.lang.String |
PROPERTY_CHECK_SAME_WIDTH_FACES
Property name for whether the RowMap implementation for BasicView
should attempt to determine whether the font styles (normal, bold,
italic, bold+italic) of a font are equivalient in widths.
|
static java.lang.String |
PROPERTY_CODE_FOLDING_ENABLED
Name of the property for whether code folding is enabled.
|
static java.lang.String |
PROPERTY_CODE_FOLDING_HIGHLIGHT
Name of the property for whether the active code folding block
should be highlighted.
|
static java.lang.String |
PROPERTY_CODE_FOLDING_MARGIN
Name of the property for the
CodeFoldingMargin instance. |
static java.lang.String |
PROPERTY_CODE_FOLDING_MARGIN_VISIBLE
Name of the property for whether the code folding left margin
should be visible.
|
static java.lang.String |
PROPERTY_CODE_FOLDING_MODEL
Name of the property for the
CodeFoldingModel instance. |
static java.lang.String |
PROPERTY_COMPLETION_ENABLE_POPUP
Name of the property for whether completion insight should enable
auto-popup based on typed triggers.
|
static java.lang.String |
PROPERTY_COMPLETION_POPUP_DELAY
Name of the property for the auto-popup delay (if enabled) for
completion insight.
|
static java.lang.String |
PROPERTY_CONSUME_KEY_RELEASE
Property name for whether the default key handler should eat
key release events - this could help performance by not allowing
menus a chance to check their accelerators on a key release
event.
|
static java.lang.String |
PROPERTY_CUT_COPY_LINE
Name of the property for whether Cut/Copy should operate on the
current line when there is no selection in the editor.
|
static java.lang.String |
PROPERTY_DO_BLOCK_INDENTS_ON_SELECTION
Name of the property which determines whether the "insert-tab"
and "reverse-tab" commands will perform a block-indent or outdent
if there is a selection.
|
static java.lang.String |
PROPERTY_EDIT_MERGE_COUNT
Property name for the number of consecutive edits (of the same
type) that should be merged together.
|
static java.lang.String |
PROPERTY_EDITOR_ANTIALIASING
Name of the property for the editor to indicate whether it should use
text anti-aliasing for rendering.
|
static java.lang.String |
PROPERTY_EDITOR_ANTIALIASING_SET
Deprecated.
|
static java.lang.String |
PROPERTY_EDITOR_FONT
Name of the property for the base font used for painting the
editor pane.
|
static java.lang.String |
PROPERTY_EDITOR_FONT_FAMILY
Name of the property for the font family of the base font.
|
static java.lang.String |
PROPERTY_EDITOR_FONT_HELPER
Name of the property where we are storing the font helper for the
global editor font.
|
static java.lang.String |
PROPERTY_EDITOR_FONT_SIZE
Name of the property for the font size of the base font.
|
static java.lang.String |
PROPERTY_EDITOR_ITALIC_ANTIALIASING
Deprecated.
|
static java.lang.String |
PROPERTY_EDITOR_WIDTH
Name of the property for the default editor width in number of
columns based on the width of the 'W' character in the current
font.
|
static java.lang.String |
PROPERTY_ESCAPESTRING_PASTE
Name of the property for whether Copy/paste should automaticaly escape
properly the pastes block in a String literal
|
static java.lang.String |
PROPERTY_GUTTER_COLOR_SOURCE
Name of the property which determines from which source the gutter
derives its colors.
|
static java.lang.String |
PROPERTY_GUTTER_CUSTOM_BGCOLOR
Name of the property for the custom background color for the gutter.
|
static java.lang.String |
PROPERTY_GUTTER_CUSTOM_FGCOLOR
Name of the property for the custom foreground color of the gutter.
|
static java.lang.String |
PROPERTY_GUTTER_DEFAULT_BORDERCOLOR
Name of the property for the default border color to use for the
line gutter.
|
static java.lang.String |
PROPERTY_GUTTER_ENABLE_DRAGGING
Name of the property for whether click-dragging in the gutter
will make a selection in the editor.
|
static java.lang.String |
PROPERTY_GUTTER_SHARED_COLUMN
Name of the property for whether the gutter icons all share a
single column or not.
|
static java.lang.String |
PROPERTY_HIGHLIGHT_CHANGED
Name of the pseudo-property that the HighlightRegistry uses to
notify listeners (views) that settings in the registry have
changed.
|
static java.lang.String |
PROPERTY_HIGHLIGHT_REGISTRY
Name of the property for the HighlightRegistry instance.
|
static java.lang.String |
PROPERTY_HIGHLIGHT_TEXT
Name of the pseudo-property that the HighlightLayer uses to notify listeners
that highlighting of text has adjusted.
|
static java.lang.String |
PROPERTY_IMPORTS_COPY_PASTE
Name of the property for whether Copy/paste should automaticaly collect
and add needed import for the copied block.
|
static java.lang.String |
PROPERTY_INDENT_SIZE
Name of the property for the indent size.
|
static java.lang.String |
PROPERTY_INSIGHT_FILTER_MATCHING
Name of the property that controls whether Insight displays the
full completion list of items, or only the matching list of items.
|
static java.lang.String |
PROPERTY_INSIGHT_FONT_FAMILY
Name of the property for the font family to use for code insight.
|
static java.lang.String |
PROPERTY_INSIGHT_FONT_SIZE
Name of the property for the font size to use for code insight.
|
static java.lang.String |
PROPERTY_INSIGHT_MANUAL_COMPLETE_SINGLE
Name of the property that controls whether Insight automatically
performs a complete when it is invoked and there is only a single
matching data item.
|
static java.lang.String |
PROPERTY_INSIGHT_MAX_POPUP_WIDTH
Name of the property that configures the maximum width of an insight
popup window - this prevents situations with run-away insight popup
windows that are huge.
|
static java.lang.String |
PROPERTY_INSIGHT_NEWDATA_COMPLETE_SINGLE
Name of the property that controls whether Insight automatically
performs a complete if the InsightData type changes while Insight
is up, and there is only a single matching data item in the new
data instance.
|
static java.lang.String |
PROPERTY_INSIGHT_PARTIAL_COMPLETE_SINGLE
Name of the property that controls whether Insight automatically
performs a complete when a partial complete is invoked and there
is only a single matching data item.
|
static java.lang.String |
PROPERTY_INSIGHT_TYPED_COMPLETE_SINGLE
Name of the property that controls whether Insight automatically
performs a complete while the user is typing once there is only
a single matching data item.
|
static java.lang.String |
PROPERTY_KEY_HANDLERS
Name of the property for the list of available key handlers
installed into the editor framework.
|
static java.lang.String |
PROPERTY_LANGUAGE_SUPPORT
Name of the property for the LanguageSupport instance associated
with a document.
|
static java.lang.String |
PROPERTY_MACRO_PLAYBACK_DELAY
The wait delay (in ms) after posting a key event during playback
before posting the next key event.
|
static java.lang.String |
PROPERTY_MERGE_DELETE_NEXT
Property name for whether consecutive delete next edits should
be allowed to merge.
|
static java.lang.String |
PROPERTY_MERGE_DELETE_PREVIOUS
Property name for whether consecutive delete previous edits should
be allowed to merge.
|
static java.lang.String |
PROPERTY_MERGE_NAVIGATION
Property name for whether consecutive navigations should be allowed
to merge.
|
static java.lang.String |
PROPERTY_MERGE_TYPED_INSERT
Property name for whether consecutive typed insert edits should
be allowed to merge.
|
static java.lang.String |
PROPERTY_MERGE_TYPED_REPLACE
Property name for whether consecutive typed replace edits should
be allowed to merge.
|
static java.lang.String |
PROPERTY_MIDDLE_BUTTON_BEHAVIOR
Behavior of the middle button behavior in the code editor.
|
static java.lang.String |
PROPERTY_MULTI_CARET_KEY_MODIFIER
Name of the property which determines the modifiers that along with a mouse press
will add an additional caret to the editor pane.
|
static java.lang.String |
PROPERTY_NAVIGATION_MERGE_COUNT
Property name for the number of consecutive navigations
that should be merged together.
|
static java.lang.String |
PROPERTY_OVERVIEW
If the editor is associated with an BasicEditorOverview, then a reference to the overview is
stored by this property.
|
static java.lang.String |
PROPERTY_PARAMETER_ENABLE_POPUP
Name of the property for whether parameter insight should enable
auto-popup based on typed triggers.
|
static java.lang.String |
PROPERTY_PARAMETER_POPUP_DELAY
Name of the property for the auto-popup delay (if enabled) for
parameter insight.
|
static java.lang.String |
PROPERTY_REUSE_DOCUMENT_EVENT
Deprecated.
causes artifacts in rendering. No longer used (see bug 20738207)
|
static java.lang.String |
PROPERTY_REUSE_UNDOABLE_EDIT
Property name for whether UndoableEditEvent instances are reused
for notification - this is a document optimization to help reduce
constant object reallocation.
|
static java.lang.String |
PROPERTY_RIGHT_MARGIN_COLOR
Name of the property for the color to paint the right margin
with.
|
static java.lang.String |
PROPERTY_RIGHT_MARGIN_COLUMN
Name of the property for where the right margin column should be
painted.
|
static java.lang.String |
PROPERTY_RIGHT_MARGIN_COLUMN_AT_WRAP
Name of the property for where the right margin column should be
set according to the code style line wrap.
|
static java.lang.String |
PROPERTY_RIGHT_MARGIN_VISIBLE
Name of the property for whether the right margin column should
be visible or not.
|
static java.lang.String |
PROPERTY_SELECTED_HANDLER
Name of the property for the current key handler used by
editor panes in this framework.
|
static java.lang.String |
PROPERTY_SHOW_LINE_NUMBERS
Name of the property which determines whether to show line numbers
or not in an associated gutter component.
|
static java.lang.String |
PROPERTY_SHOW_WHITESPACE_CHARS
Name of the property which determines whether to show charaters
in place of the [invisible] whitespace characters
|
static java.lang.String |
PROPERTY_STEPPING_MARGIN_ENABLED
Property for the enabledness of the stepping margin
|
static java.lang.String |
PROPERTY_STYLE_CHANGED
Name of the pseudo-property that the StyleRegistry uses to notify
listeners (views) that settings in the registry have changed.
|
static java.lang.String |
PROPERTY_STYLE_REGISTRY
Name of the property for the StyleRegistry instance.
|
static java.lang.String |
PROPERTY_TAB_SIZE
Name of the property for the tab size (stop.) This is used by the
BasicView renderer when painting the editor pane, and also by
the InsertTabAction (and others) when inserting a Tab instead of
just spaces.
|
static java.lang.String |
PROPERTY_TOGGLE_COMMENTS_ADVANCE
Name of the property for whether toggle comments should advance the
caret to the next line if (before toggling comments) the caret was
not a selection.
|
static java.lang.String |
PROPERTY_TRAILING_BLANK_COLUMNS
Name of the property which determines the number of additional
blank columns to include at the right of an editor view.
|
static java.lang.String |
PROPERTY_TRAILING_BLANK_ROWS
Name of the property which determines the number of additional
blank rows to include at the bottom of an editor view.
|
static java.lang.String |
PROPERTY_UNDO_NAVIGATION
Property name for whether UndoableEdits should be generated for
navigation.
|
static java.lang.String |
PROPERTY_USE_AUTO_INDENT
Name of the property for whether auto-indentation should be used.
|
static java.lang.String |
PROPERTY_USE_JUMP_SCROLL
Name of the property which determines whether to do jump
scrolling.
|
static java.lang.String |
PROPERTY_USE_SMART_END
Name of the property which determines whether the "caret-end"
command will be "smart" about finding the end of the line before
any trailing whitespace, vs.
|
static java.lang.String |
PROPERTY_USE_SMART_HOME
Name of the property which determines whether the "caret-begin"
command will be "smart" about finding the start of the line after
the initial indentation, vs.
|
static java.lang.String |
PROPERTY_USE_SMART_INDENT
Name of the property for whether smart-indentation should be
enabled globally.
|
static java.lang.String |
PROPERTY_USE_TAB_CHARACTER
Name of the property which determines whether spaces or tab
characters are used when the user indents a line.
|
static java.lang.String |
PROPERTY_VALID_OFFSET_END
Deprecated.
|
static java.lang.String |
PROPERTY_VALID_OFFSET_START
Deprecated.
|
static java.lang.String |
PROPERTY_VIEW_LIMITED
Boolean property indicating that the view is limited to certain offsets.
|
static java.lang.String |
PROPERTY_WORD_BOUNDARY_USE_CASE
Name of the property which determines when navigating to
word boundaries, whether a change of case should also
be included as a boundary.
|
static java.lang.String |
PROPERTY_WORD_BOUNDARY_USE_LINE_END
Name of the property which determines when navigating to
word boundaries, whether the end of the word should also
be included as a boundary.
|
static java.lang.String |
PROPERTY_WORD_BOUNDARY_USE_LINE_START
Name of the property which determines when navigating to
word boundaries, whether the start of the line should also
be included as a boundary.
|
Modifier and Type | Method and Description |
---|---|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener listener)
Add a PropertyChangeListener to the listener list.
|
void |
firePropertyChange(java.lang.String propertyName,
java.lang.Object oldValue,
java.lang.Object newValue)
Report a bound property update to any registered listeners.
|
java.awt.Font |
getBaseFont()
Convenience method for getting the current base font.
|
boolean |
getBooleanProperty(java.lang.String key)
Fetch the boolean property stored by the given key.
|
static oracle.javatools.resource.BundleHelper |
getEditorBundle()
Public utility routine for editor framework to fetch editor
resources.
|
FontHelper |
getFontHelper()
Convenience method for getting the current font helper.
|
java.lang.String |
getHandlerName()
Gets the name of the current handler to use.
|
HighlightRegistry |
getHighlightRegistry()
Fetch the global highlight registry used for all editor panes.
|
int |
getIntegerProperty(java.lang.String key)
Fetch the integer property stored by the given key.
|
static EditorProperties |
getProperties()
Fetches the singleton instance of the EditorProperties table.
|
java.lang.Object |
getProperty(java.lang.String key)
Fetch the property stored by the given key.
|
StyleRegistry |
getStyleRegistry()
Fetch the global style registry used for all editor panes.
|
void |
putBooleanProperty(java.lang.String key,
boolean value)
Sets the boolean property and value in the property table.
|
void |
putIntegerProperty(java.lang.String key,
int value)
Sets the integer property and value in the property table.
|
void |
putProperty(java.lang.String key,
java.lang.Object value)
Stores a property and value in the property table.
|
void |
removePropertyChangeListener(java.beans.PropertyChangeListener listener)
Remove a PropertyChangeListener from the listener list.
|
void |
setBaseFont(java.lang.String familyName,
int fontSize)
Utility routine to set the base font used by all editor panes
in this framework.
|
void |
setHandlerName(java.lang.String handlerName)
Changes the name of the default handler used.
|
void |
setHighlightRegistry(HighlightRegistry registry)
Replace the global highlight registry used for all editor panes.
|
void |
setStyleRegistry(StyleRegistry registry)
Replace the global style registry used for all editor panes.
|
public static final java.lang.String PROPERTY_STYLE_REGISTRY
getStyleRegistry()
to get the global registry, or
BasicEditorPane.getStyleRegistry()
to get a
editor-specific style registry.public static final java.lang.String PROPERTY_STYLE_CHANGED
public static final java.lang.String PROPERTY_LANGUAGE_SUPPORT
public static final java.lang.String PROPERTY_EDITOR_ANTIALIASING
@Deprecated public static final java.lang.String PROPERTY_EDITOR_ITALIC_ANTIALIASING
@Deprecated public static final java.lang.String PROPERTY_EDITOR_ANTIALIASING_SET
public static final java.lang.String PROPERTY_EDITOR_WIDTH
public static final java.lang.String PROPERTY_HIGHLIGHT_REGISTRY
getHighlightRegistry()
to get the global registry, or
BasicEditorPane.getHighlightRegistry()
to get a
editor-specific highlight registry.public static final java.lang.String PROPERTY_HIGHLIGHT_CHANGED
public static final java.lang.String PROPERTY_HIGHLIGHT_TEXT
public static final java.lang.String PROPERTY_EDITOR_FONT_HELPER
public static final java.lang.String PROPERTY_EDITOR_FONT
Font
class.
Note that this property name is public for read and notification
purposes. To change the editor font, call
setBaseFont()
instead.public static final java.lang.String PROPERTY_EDITOR_FONT_FAMILY
setBaseFont
instead.public static final java.lang.String PROPERTY_EDITOR_FONT_SIZE
setBaseFont
instead.public static final java.lang.String PROPERTY_RIGHT_MARGIN_COLUMN
public static final java.lang.String PROPERTY_RIGHT_MARGIN_COLUMN_AT_WRAP
This separation deliberately requested by sql dev. don't change without checking with them. Boolean, default true.
public static final java.lang.String PROPERTY_RIGHT_MARGIN_VISIBLE
public static final java.lang.String PROPERTY_RIGHT_MARGIN_COLOR
public static final java.lang.String PROPERTY_TRAILING_BLANK_ROWS
public static final java.lang.String PROPERTY_TRAILING_BLANK_COLUMNS
public static final java.lang.String PROPERTY_SHOW_WHITESPACE_CHARS
public static final java.lang.String PROPERTY_BRACE_MATCHING_AUTO
public static final java.lang.String PROPERTY_BRACE_MATCHING_ENCLOSING_BLOCKS
public static final java.lang.String PROPERTY_BRACE_MATCHING_ENCLOSING_PARENS
public static final java.lang.String PROPERTY_BRACE_MATCHING_DELAY
public static final java.lang.String PROPERTY_SHOW_LINE_NUMBERS
public static final int GUTTER_COLORS_USE_LNF
public static final int GUTTER_COLORS_USE_EDITOR
public static final int GUTTER_COLORS_USE_CUSTOM
public static final java.lang.String PROPERTY_GUTTER_COLOR_SOURCE
public static final java.lang.String PROPERTY_GUTTER_CUSTOM_BGCOLOR
public static final java.lang.String PROPERTY_GUTTER_CUSTOM_FGCOLOR
public static final java.lang.String PROPERTY_GUTTER_DEFAULT_BORDERCOLOR
public static final java.lang.String PROPERTY_GUTTER_SHARED_COLUMN
public static final java.lang.String PROPERTY_GUTTER_ENABLE_DRAGGING
public static final java.lang.String PROPERTY_CODE_FOLDING_MODEL
CodeFoldingModel
instance.public static final java.lang.String PROPERTY_CODE_FOLDING_MARGIN
CodeFoldingMargin
instance.public static final java.lang.String PROPERTY_CODE_FOLDING_MARGIN_VISIBLE
public static final java.lang.String PROPERTY_CODE_FOLDING_HIGHLIGHT
public static final java.lang.String PROPERTY_CODE_FOLDING_ENABLED
public static final java.lang.String PROPERTY_INDENT_SIZE
public static final java.lang.String PROPERTY_TAB_SIZE
public static final java.lang.String PROPERTY_USE_AUTO_INDENT
public static final java.lang.String PROPERTY_USE_SMART_INDENT
public static final java.lang.String PROPERTY_USE_TAB_CHARACTER
public static final java.lang.String PROPERTY_USE_SMART_HOME
public static final java.lang.String PROPERTY_USE_SMART_END
public static final java.lang.String PROPERTY_DO_BLOCK_INDENTS_ON_SELECTION
public static final java.lang.String PROPERTY_WORD_BOUNDARY_USE_CASE
public static final java.lang.String PROPERTY_WORD_BOUNDARY_USE_LINE_START
public static final java.lang.String PROPERTY_WORD_BOUNDARY_USE_LINE_END
public static final java.lang.String PROPERTY_USE_JUMP_SCROLL
public static final java.lang.String PROPERTY_CARET_INSET_ROWS
public static final java.lang.String PROPERTY_CARET_INSET_COLUMNS
public static final java.lang.String PROPERTY_MULTI_CARET_KEY_MODIFIER
public static final java.lang.String PROPERTY_COMPLETION_ENABLE_POPUP
public static final java.lang.String PROPERTY_COMPLETION_POPUP_DELAY
public static final java.lang.String PROPERTY_PARAMETER_ENABLE_POPUP
public static final java.lang.String PROPERTY_PARAMETER_POPUP_DELAY
public static final java.lang.String PROPERTY_INSIGHT_FONT_FAMILY
public static final java.lang.String PROPERTY_INSIGHT_FONT_SIZE
public static final java.lang.String PROPERTY_INSIGHT_PARTIAL_COMPLETE_SINGLE
public static final java.lang.String PROPERTY_INSIGHT_MANUAL_COMPLETE_SINGLE
public static final java.lang.String PROPERTY_INSIGHT_TYPED_COMPLETE_SINGLE
public static final java.lang.String PROPERTY_INSIGHT_NEWDATA_COMPLETE_SINGLE
public static final java.lang.String PROPERTY_INSIGHT_FILTER_MATCHING
public static final java.lang.String PROPERTY_INSIGHT_MAX_POPUP_WIDTH
public static final java.lang.String PROPERTY_CHECK_FRAGLIST_RECYCLING
public static final java.lang.String PROPERTY_REUSE_UNDOABLE_EDIT
Boolean.FALSE
on
startup. To enable this optimization, leave the property unset,
or set it to Boolean.TRUE
@Deprecated public static final java.lang.String PROPERTY_REUSE_DOCUMENT_EVENT
Boolean.FALSE
on
startup. To enable this optimization, leave the property unset,
or set it to Boolean.TRUE
public static final java.lang.String PROPERTY_CHECK_CLIPBOARD_FOR_PASTE
public static final java.lang.String PROPERTY_CONSUME_KEY_RELEASE
public static final java.lang.String PROPERTY_CHECK_SAME_WIDTH_FACES
false
boolean
value.public static final java.lang.String PROPERTY_CUT_COPY_LINE
public static final java.lang.String PROPERTY_IMPORTS_COPY_PASTE
public static final java.lang.String PROPERTY_AUTOINDENT_COPY_PASTE
public static final java.lang.String PROPERTY_AUTOREFORMAT_COPY_PASTE
public static final java.lang.String PROPERTY_ESCAPESTRING_PASTE
public static final java.lang.String PROPERTY_TOGGLE_COMMENTS_ADVANCE
public static final java.lang.String PROPERTY_CARET_COLOR
public static final java.lang.String PROPERTY_CARET_SHAPE_INSERT
public static final java.lang.String PROPERTY_CARET_SHAPE_OVERWRITE
public static final java.lang.String PROPERTY_CARET_ENABLE_BLINK
public static final java.lang.String PROPERTY_CARET_BLINK_RATE
public static final java.lang.String PROPERTY_CARET_XOR_PAINTING
public static final java.lang.String PROPERTY_CARET_RIGHT_CLICK_SELECTION
public static final java.lang.String PROPERTY_CARET_EDITOR_SELECTION_TYPE
public static final java.lang.String PROPERTY_MERGE_TYPED_INSERT
public static final java.lang.String PROPERTY_MERGE_TYPED_REPLACE
public static final java.lang.String PROPERTY_MERGE_DELETE_NEXT
public static final java.lang.String PROPERTY_MERGE_DELETE_PREVIOUS
public static final java.lang.String PROPERTY_EDIT_MERGE_COUNT
public static final java.lang.String PROPERTY_MERGE_NAVIGATION
public static final java.lang.String PROPERTY_UNDO_NAVIGATION
public static final java.lang.String PROPERTY_NAVIGATION_MERGE_COUNT
public static final java.lang.String PROPERTY_KEY_HANDLERS
public static final java.lang.String PROPERTY_SELECTED_HANDLER
public static final java.lang.String PROPERTY_MACRO_PLAYBACK_DELAY
@Deprecated public static final java.lang.String PROPERTY_VALID_OFFSET_START
@Deprecated public static final java.lang.String PROPERTY_VALID_OFFSET_END
public static final java.lang.String PROPERTY_VIEW_LIMITED
public static final java.lang.String PROPERTY_MIDDLE_BUTTON_BEHAVIOR
public static final java.lang.String PROPERTY_OVERVIEW
public static final java.lang.String PROPERTY_STEPPING_MARGIN_ENABLED
public static EditorProperties getProperties()
public java.lang.Object getProperty(java.lang.String key)
key
- the property to getpublic void putProperty(java.lang.String key, java.lang.Object value)
key
- the property namevalue
- the property valuepublic boolean getBooleanProperty(java.lang.String key)
key
- the property to getjava.lang.ClassCastException
- if the property is not a boolean propertypublic void putBooleanProperty(java.lang.String key, boolean value)
key
- the property namevalue
- the property valuepublic int getIntegerProperty(java.lang.String key)
key
- the property to getjava.lang.ClassCastException
- if the property is not a integer propertypublic void putIntegerProperty(java.lang.String key, int value)
key
- the property namevalue
- the property valuepublic StyleRegistry getStyleRegistry()
public void setStyleRegistry(StyleRegistry registry)
registry
- the new registry to usepublic HighlightRegistry getHighlightRegistry()
public void setHighlightRegistry(HighlightRegistry registry)
registry
- the new registry to usepublic static oracle.javatools.resource.BundleHelper getEditorBundle()
public FontHelper getFontHelper()
public java.awt.Font getBaseFont()
public void setBaseFont(java.lang.String familyName, int fontSize)
familyName
- the name of the font family to usefontSize
- the font size to usepublic void setHandlerName(java.lang.String handlerName)
handlerName
- the name of the handler to use (from KeyHandlerFactory)public java.lang.String getHandlerName()
public void addPropertyChangeListener(java.beans.PropertyChangeListener listener)
Note that this listener is stored using a WeakReference. This is intentional as part of the editor framework design, to avoid pinning certain UI objects in memory permanently.
listener
- The PropertyChangeListener to be addedpublic void removePropertyChangeListener(java.beans.PropertyChangeListener listener)
listener
- The PropertyChangeListener to be removedpublic void firePropertyChange(java.lang.String propertyName, java.lang.Object oldValue, java.lang.Object newValue)
propertyName
- The programmatic name of the property
that was changed.oldValue
- The old value of the property.newValue
- The new value of the property.