|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface UIExtension
User interface extension.
| Method Summary | |
|---|---|
java.lang.String[] |
getFeatures()
Examples of features are: bold, justifyright and macro. |
java.lang.String |
getRole()
|
com.google.gwt.user.client.ui.UIObject |
getUIObject(java.lang.String feature)
It can be a button, a menu item, a label or any other UIObject-derived instance. |
boolean |
isEnabled(java.lang.String feature)
Tells if the given feature is enabled in the current context. |
void |
setEnabled(java.lang.String feature,
boolean enabled)
Enables or disables the given feature. |
| Method Detail |
|---|
java.lang.String[] getFeatures()
com.google.gwt.user.client.ui.UIObject getUIObject(java.lang.String feature)
UIObject-derived instance.
feature - One of the features provided by the editor's plug-ins and supported by the underlying text area.
java.lang.String getRole()
void setEnabled(java.lang.String feature,
boolean enabled)
feature - The feature to enable or disable.enabled - true if the specified feature should be enabled.boolean isEnabled(java.lang.String feature)
feature - The feature whose enabled state is queried.
true if the specified feature is enabled.SyntaxValidator
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||