public class JmixSourceCodeEditorWidget extends AceEditorWidget
AceEditorWidget.AnnotationInEditor, AceEditorWidget.FocusChangeListener, AceEditorWidget.MarkerInEditor, AceEditorWidget.SelectionChangeListener, AceEditorWidget.TextChangeListener
Modifier and Type | Field and Description |
---|---|
protected boolean |
handleTabKey |
protected boolean |
readOnly |
protected int |
tabIndex |
changeListeners, doc, editor, editorId, enabled, focusChangeListener, focused, idCounter, ignoreEditorEvents, invisibleMarkers, keyboardHandler, latestInvisibleMarkerId, markerAnnotations, markerAnnsInEditor, markersInEditor, propertyReadOnly, rowAnnotations, rowAnnsInEditor, selChangeListeners, selection, text
Constructor and Description |
---|
JmixSourceCodeEditorWidget() |
Modifier and Type | Method and Description |
---|---|
int |
getPrintMarginColumn() |
protected int |
getRendererPrintMarginColumn(GwtAceEditor editor) |
int |
getTabIndex() |
protected com.google.gwt.dom.client.Element |
getTextAreaElement() |
void |
initialize() |
void |
onBrowserEvent(com.google.gwt.user.client.Event event) |
void |
resetEditHistory() |
void |
resetEditHistory(GwtAceEditor editor) |
void |
setEnabled(boolean enabled) |
void |
setHandleTabKey(boolean handleTabKey) |
void |
setPrintMarginColumn(int printMarginColumn) |
void |
setReadOnly(boolean readOnly) |
protected void |
setRendererPrintMarginColumn(GwtAceEditor editor,
int printMarginColumn) |
void |
setTabIndex(int index) |
void |
unbindTabKey(com.google.gwt.core.client.JavaScriptObject editor) |
protected void |
updateTabIndex() |
addInvisibleMarker, addSelectionChangeListener, addTextChangeListener, adjustInvisibleMarkers, adjustInvisibleMarkersOnTextChange, adjustMarkerAnnotations, adjustMarkers, adjustMarkersOnTextChange, convertRange, convertSelection, createAIEfromMA, fireTextChanged, getCursorCoords, getDoc, getInvisibleMarker, getMarkerAnnotations, getMarkers, getRowAnnotations, getSelection, getText, isFocused, isInitialized, markerIsValid, moveMarkerOnInsert, moveMarkerOnRemove, nextId, onBlur, onChange, onChangeCursor, onChangeSelection, onFocus, overlapping, removeContentsOfInvisibleMarker, removeInvisibleMarker, removeMarkers, removeSelectionChangeListener, removeTextChangeListener, resize, rowOfMarker, scrollToRow, selectionChanged, setAnnotations, setAnnotationsToEditor, setDisplayIndentGuides, setDoc, setFocus, setFocusChangeListener, setFontSize, setHeight, setHighlightActiveLineEnabled, setHighlightSelectedWord, setKeyboardHandler, setMarkers, setMode, setPropertyReadOnly, setSelection, setSelection, setShowGutter, setShowInvisibles, setShowPrintMargin, setTabSize, setText, setTextAndAdjust, setTheme, setUseSoftTabs, setUseWorker, setWidth, setWordwrap, updateMarkers
addBlurHandler, addClickHandler, addClickListener, addDoubleClickHandler, addDragEndHandler, addDragEnterHandler, addDragHandler, addDragLeaveHandler, addDragOverHandler, addDragStartHandler, addDropHandler, addFocusHandler, addFocusListener, addGestureChangeHandler, addGestureEndHandler, addGestureStartHandler, addKeyboardListener, addKeyDownHandler, addKeyPressHandler, addKeyUpHandler, addMouseDownHandler, addMouseListener, addMouseMoveHandler, addMouseOutHandler, addMouseOverHandler, addMouseUpHandler, addMouseWheelHandler, addMouseWheelListener, addTouchCancelHandler, addTouchEndHandler, addTouchMoveHandler, addTouchStartHandler, getFocusImpl, isEnabled, onAttach, removeClickListener, removeFocusListener, removeKeyboardListener, removeMouseListener, removeMouseWheelListener, setAccessKey
addAttachHandler, addBitlessDomHandler, addDomHandler, addHandler, asWidget, asWidgetOrNull, createHandlerManager, delegateEvent, doAttachChildren, doDetachChildren, fireEvent, getHandlerCount, getLayoutData, getParent, isAttached, isOrWasAttached, onDetach, onLoad, onUnload, removeFromParent, setLayoutData, sinkEvents, unsinkEvents
addStyleDependentName, addStyleName, ensureDebugId, ensureDebugId, ensureDebugId, getAbsoluteLeft, getAbsoluteTop, getElement, getOffsetHeight, getOffsetWidth, getStyleElement, getStyleName, getStyleName, getStylePrimaryName, getStylePrimaryName, getTitle, isVisible, isVisible, onEnsureDebugId, removeStyleDependentName, removeStyleName, resolvePotentialElement, setElement, setElement, setPixelSize, setSize, setStyleDependentName, setStyleName, setStyleName, setStyleName, setStyleName, setStylePrimaryName, setStylePrimaryName, setTitle, setVisible, setVisible, sinkBitlessEvent, toString
protected boolean readOnly
protected int tabIndex
protected boolean handleTabKey
public void initialize()
initialize
in class AceEditorWidget
public void onBrowserEvent(com.google.gwt.user.client.Event event)
onBrowserEvent
in interface com.google.gwt.user.client.EventListener
onBrowserEvent
in class com.google.gwt.user.client.ui.Widget
protected com.google.gwt.dom.client.Element getTextAreaElement()
public void setEnabled(boolean enabled)
setEnabled
in interface com.google.gwt.user.client.ui.HasEnabled
setEnabled
in class AceEditorWidget
protected void updateTabIndex()
public void setTabIndex(int index)
setTabIndex
in interface com.google.gwt.user.client.ui.Focusable
setTabIndex
in class com.google.gwt.user.client.ui.FocusWidget
public int getTabIndex()
getTabIndex
in interface com.google.gwt.user.client.ui.Focusable
getTabIndex
in class com.google.gwt.user.client.ui.FocusWidget
public void setReadOnly(boolean readOnly)
setReadOnly
in class AceEditorWidget
public void setHandleTabKey(boolean handleTabKey)
public int getPrintMarginColumn()
public void setPrintMarginColumn(int printMarginColumn)
public void unbindTabKey(com.google.gwt.core.client.JavaScriptObject editor)
protected void setRendererPrintMarginColumn(GwtAceEditor editor, int printMarginColumn)
protected int getRendererPrintMarginColumn(GwtAceEditor editor)
public void resetEditHistory()
public final void resetEditHistory(GwtAceEditor editor)