public interface AuditPreferences
AuditManager.getPreferences()
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
KEY |
Modifier and Type | Method and Description |
---|---|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener listener) |
void |
addPropertyChangeListener(java.lang.String propertyName,
java.beans.PropertyChangeListener listener) |
java.lang.String |
getAssistProfile() |
java.lang.String |
getCompileProfile() |
int |
getEditorDelay() |
float |
getMaximumFileSize() |
boolean |
isAuditDuringCompile() |
boolean |
isAuditUsesJavac() |
boolean |
isAuditWhileEditing() |
boolean |
isShowCodeAssistanceInGutter() |
void |
removePropertyChangeListener(java.beans.PropertyChangeListener listener) |
void |
removePropertyChangeListener(java.lang.String propertyName,
java.beans.PropertyChangeListener listener) |
void |
setAssistProfile(java.lang.String newValue) |
void |
setAuditDuringCompile(boolean newValue) |
void |
setAuditWhileEditing(boolean newValue) |
void |
setCompileProfile(java.lang.String newValue) |
void |
setEditorDelay(int newValue) |
void |
setMaximumFileSize(float size) |
void |
setShowCodeAssistanceInGutter(boolean newValue) |
static final java.lang.String KEY
boolean isAuditWhileEditing()
void setAuditWhileEditing(boolean newValue)
boolean isShowCodeAssistanceInGutter()
void setShowCodeAssistanceInGutter(boolean newValue)
java.lang.String getAssistProfile()
void setAssistProfile(java.lang.String newValue)
int getEditorDelay()
void setEditorDelay(int newValue)
boolean isAuditDuringCompile()
void setAuditDuringCompile(boolean newValue)
java.lang.String getCompileProfile()
void setCompileProfile(java.lang.String newValue)
float getMaximumFileSize()
void setMaximumFileSize(float size)
boolean isAuditUsesJavac()
void addPropertyChangeListener(java.beans.PropertyChangeListener listener)
void addPropertyChangeListener(java.lang.String propertyName, java.beans.PropertyChangeListener listener)
void removePropertyChangeListener(java.beans.PropertyChangeListener listener)
void removePropertyChangeListener(java.lang.String propertyName, java.beans.PropertyChangeListener listener)