public class CompletionSettings
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
PROP_DOCHOME |
static java.lang.String |
PROP_DOCUMENTATIONPANESIZE |
static java.lang.String |
PROP_EDITORFONT |
static java.lang.String |
PROP_SAFE_COMPLETIONS |
static java.lang.String |
PROP_SHOWTABS |
static java.lang.String |
PROP_TAB_IS_COMPLETION |
static java.lang.String |
PROP_TABISSPACES
If true, then the tab keystroke inserts four spaces.
|
protected boolean |
safeCompletions |
Constructor and Description |
---|
CompletionSettings() |
Modifier and Type | Method and Description |
---|---|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener listener) |
java.lang.String |
getDocHome() |
java.lang.String |
getDocumentationPaneSize() |
java.lang.String |
getEditorFont() |
boolean |
isSafeCompletions()
completions should be based on a refactored code which avoids slow commands like "getDataSet".
|
boolean |
isShowTabs() |
boolean |
isTabIsCompletion() |
boolean |
isTabIsSpaces() |
void |
loadPreferences() |
void |
removePropertyChangeListener(java.beans.PropertyChangeListener listener) |
void |
setDocHome(java.lang.String docHome) |
void |
setDocumentationPaneSize(java.lang.String documentationPaneSize) |
void |
setEditorFont(java.lang.String editorFont) |
void |
setSafeCompletions(boolean safeCompletions) |
void |
setShowTabs(boolean showTabs) |
void |
setTabIsCompletion(boolean tabIsCompletion) |
void |
setTabIsSpaces(boolean tabIsSpaces) |
public static final java.lang.String PROP_DOCHOME
public static final java.lang.String PROP_TAB_IS_COMPLETION
protected boolean safeCompletions
public static final java.lang.String PROP_SAFE_COMPLETIONS
public static final java.lang.String PROP_EDITORFONT
public static final java.lang.String PROP_DOCUMENTATIONPANESIZE
public static final java.lang.String PROP_SHOWTABS
public static final java.lang.String PROP_TABISSPACES
public java.lang.String getDocHome()
public void setDocHome(java.lang.String docHome)
public boolean isTabIsCompletion()
public void setTabIsCompletion(boolean tabIsCompletion)
public boolean isSafeCompletions()
public void setSafeCompletions(boolean safeCompletions)
public java.lang.String getEditorFont()
public void setEditorFont(java.lang.String editorFont)
public java.lang.String getDocumentationPaneSize()
public void setDocumentationPaneSize(java.lang.String documentationPaneSize)
public boolean isShowTabs()
public void setShowTabs(boolean showTabs)
public boolean isTabIsSpaces()
public void setTabIsSpaces(boolean tabIsSpaces)
public void addPropertyChangeListener(java.beans.PropertyChangeListener listener)
public void removePropertyChangeListener(java.beans.PropertyChangeListener listener)
public void loadPreferences()