Uses of Class
org.primefaces.extensions.model.monacoeditor.EditorOptions

Uses of EditorOptions in org.primefaces.extensions.model.monacoeditor

Methods in org.primefaces.extensions.model.monacoeditor that return EditorOptions

Modifier and Type	Method and Description
EditorOptions	EditorOptions.addRuler(EditorRulerOption... items)
EditorOptions	EditorOptions.addRuler(EditorRulerOption... items)
EditorOptions	EditorOptions.setAcceptSuggestionOnCommitCharacter(java.lang.Boolean acceptSuggestionOnCommitCharacter)
EditorOptions	EditorOptions.setAcceptSuggestionOnCommitCharacter(java.lang.Boolean acceptSuggestionOnCommitCharacter)
EditorOptions	EditorOptions.setAcceptSuggestionOnEnter(EAcceptSuggestionOnEnter acceptSuggestionOnEnter)
EditorOptions	EditorOptions.setAcceptSuggestionOnEnter(EAcceptSuggestionOnEnter acceptSuggestionOnEnter)
EditorOptions	EditorOptions.setAcceptSuggestionOnEnter(java.lang.String acceptSuggestionOnEnter)
EditorOptions	EditorOptions.setAcceptSuggestionOnEnter(java.lang.String acceptSuggestionOnEnter)
EditorOptions	EditorOptions.setAccessibilityHelpUrl(java.lang.String accessibilityHelpUrl)
EditorOptions	EditorOptions.setAccessibilityHelpUrl(java.lang.String accessibilityHelpUrl)
EditorOptions	EditorOptions.setAccessibilityPageSize(java.lang.Number accessibilityPageSize)
EditorOptions	EditorOptions.setAccessibilityPageSize(java.lang.Number accessibilityPageSize)
EditorOptions	EditorOptions.setAccessibilitySupport(EAccessibilitySupport accessibilitySupport)
EditorOptions	EditorOptions.setAccessibilitySupport(EAccessibilitySupport accessibilitySupport)
EditorOptions	EditorOptions.setAccessibilitySupport(java.lang.String accessibilitySupport)
EditorOptions	EditorOptions.setAccessibilitySupport(java.lang.String accessibilitySupport)
EditorOptions	EditorOptions.setAriaLabel(java.lang.String ariaLabel)
EditorOptions	EditorOptions.setAriaLabel(java.lang.String ariaLabel)
EditorOptions	EditorOptions.setAutoClosingBrackets(java.lang.Boolean autoClosingBrackets)
EditorOptions	EditorOptions.setAutoClosingBrackets(java.lang.Boolean autoClosingBrackets)
EditorOptions	EditorOptions.setAutoClosingOvertype(EAutoClosingOvertype autoClosingOvertype)
EditorOptions	EditorOptions.setAutoClosingOvertype(EAutoClosingOvertype autoClosingOvertype)
EditorOptions	EditorOptions.setAutoClosingOvertype(java.lang.String autoClosingOvertype)
EditorOptions	EditorOptions.setAutoClosingOvertype(java.lang.String autoClosingOvertype)
EditorOptions	EditorOptions.setAutoClosingQuotes(EAutoClosingQuotes autoClosingQuotes)
EditorOptions	EditorOptions.setAutoClosingQuotes(EAutoClosingQuotes autoClosingQuotes)
EditorOptions	EditorOptions.setAutoClosingQuotes(java.lang.String autoClosingQuotes)
EditorOptions	EditorOptions.setAutoClosingQuotes(java.lang.String autoClosingQuotes)
EditorOptions	EditorOptions.setAutoIndent(EAutoIndent autoIndent)
EditorOptions	EditorOptions.setAutoIndent(EAutoIndent autoIndent)
EditorOptions	EditorOptions.setAutoIndent(java.lang.String autoIndent)
EditorOptions	EditorOptions.setAutoIndent(java.lang.String autoIndent)
EditorOptions	EditorOptions.setAutomaticLayout(java.lang.Boolean automaticLayout)
EditorOptions	EditorOptions.setAutomaticLayout(java.lang.Boolean automaticLayout)
EditorOptions	EditorOptions.setAutoSurround(EAutoSurround autoSurround)
EditorOptions	EditorOptions.setAutoSurround(EAutoSurround autoSurround)
EditorOptions	EditorOptions.setAutoSurround(java.lang.String autoSurround)
EditorOptions	EditorOptions.setAutoSurround(java.lang.String autoSurround)
EditorOptions	EditorOptions.setCodeActionsOnSaveTimeout(java.lang.Number codeActionsOnSaveTimeout)
EditorOptions	EditorOptions.setCodeActionsOnSaveTimeout(java.lang.Number codeActionsOnSaveTimeout)
EditorOptions	EditorOptions.setCodeLens(java.lang.Boolean codeLens)
EditorOptions	EditorOptions.setCodeLens(java.lang.Boolean codeLens)
EditorOptions	EditorOptions.setColorDecorators(java.lang.Boolean colorDecorators)
EditorOptions	EditorOptions.setColorDecorators(java.lang.Boolean colorDecorators)
EditorOptions	EditorOptions.setColumnSelection(java.lang.Boolean columnSelection)
EditorOptions	EditorOptions.setColumnSelection(java.lang.Boolean columnSelection)
EditorOptions	EditorOptions.setComments(EditorCommentsOptions comments)
EditorOptions	EditorOptions.setComments(EditorCommentsOptions comments)
EditorOptions	EditorOptions.setContextmenu(java.lang.Boolean contextmenu)
EditorOptions	EditorOptions.setContextmenu(java.lang.Boolean contextmenu)
EditorOptions	EditorOptions.setCopyWithSyntaxHighlighting(java.lang.Boolean copyWithSyntaxHighlighting)
EditorOptions	EditorOptions.setCopyWithSyntaxHighlighting(java.lang.Boolean copyWithSyntaxHighlighting)
EditorOptions	EditorOptions.setCursorBlinking(ECursorBlinking cursorBlinking)
EditorOptions	EditorOptions.setCursorBlinking(ECursorBlinking cursorBlinking)
EditorOptions	EditorOptions.setCursorBlinking(java.lang.String cursorBlinking)
EditorOptions	EditorOptions.setCursorBlinking(java.lang.String cursorBlinking)
EditorOptions	EditorOptions.setCursorSmoothCaretAnimation(java.lang.Boolean cursorSmoothCaretAnimation)
EditorOptions	EditorOptions.setCursorSmoothCaretAnimation(java.lang.Boolean cursorSmoothCaretAnimation)
EditorOptions	EditorOptions.setCursorStyle(ECursorStyle cursorStyle)
EditorOptions	EditorOptions.setCursorStyle(ECursorStyle cursorStyle)
EditorOptions	EditorOptions.setCursorStyle(java.lang.String cursorStyle)
EditorOptions	EditorOptions.setCursorStyle(java.lang.String cursorStyle)
EditorOptions	EditorOptions.setCursorSurroundingLines(java.lang.Number cursorSurroundingLines)
EditorOptions	EditorOptions.setCursorSurroundingLines(java.lang.Number cursorSurroundingLines)
EditorOptions	EditorOptions.setCursorSurroundingLinesStyle(ECursorSurroundingLinesStyle cursorSurroundingLinesStyle)
EditorOptions	EditorOptions.setCursorSurroundingLinesStyle(ECursorSurroundingLinesStyle cursorSurroundingLinesStyle)
EditorOptions	EditorOptions.setCursorSurroundingLinesStyle(java.lang.String cursorSurroundingLinesStyle)
EditorOptions	EditorOptions.setCursorSurroundingLinesStyle(java.lang.String cursorSurroundingLinesStyle)
EditorOptions	EditorOptions.setCursorWidth(java.lang.Number cursorWidth)
EditorOptions	EditorOptions.setCursorWidth(java.lang.Number cursorWidth)
EditorOptions	EditorOptions.setDefinitionLinkOpensInPeek(java.lang.Boolean definitionLinkOpensInPeek)
EditorOptions	EditorOptions.setDefinitionLinkOpensInPeek(java.lang.Boolean definitionLinkOpensInPeek)
EditorOptions	EditorOptions.setDetectIndentation(java.lang.Boolean detectIndentation)
EditorOptions	EditorOptions.setDetectIndentation(java.lang.Boolean detectIndentation)
EditorOptions	EditorOptions.setDimension(EditorDimension dimension)
EditorOptions	EditorOptions.setDimension(EditorDimension dimension)
EditorOptions	EditorOptions.setDisableLayerHinting(java.lang.Boolean disableLayerHinting)
EditorOptions	EditorOptions.setDisableLayerHinting(java.lang.Boolean disableLayerHinting)
EditorOptions	EditorOptions.setDisableMonospaceOptimizations(java.lang.Boolean disableMonospaceOptimizations)
EditorOptions	EditorOptions.setDisableMonospaceOptimizations(java.lang.Boolean disableMonospaceOptimizations)
EditorOptions	EditorOptions.setDragAndDrop(java.lang.Boolean dragAndDrop)
EditorOptions	EditorOptions.setDragAndDrop(java.lang.Boolean dragAndDrop)
EditorOptions	EditorOptions.setEmptySelectionClipboard(java.lang.Boolean emptySelectionClipboard)
EditorOptions	EditorOptions.setEmptySelectionClipboard(java.lang.Boolean emptySelectionClipboard)
EditorOptions	EditorOptions.setExtraEditorClassName(java.lang.String extraEditorClassName)
EditorOptions	EditorOptions.setExtraEditorClassName(java.lang.String extraEditorClassName)
EditorOptions	EditorOptions.setFastScrollSensitivity(java.lang.Number fastScrollSensitivity)
EditorOptions	EditorOptions.setFastScrollSensitivity(java.lang.Number fastScrollSensitivity)
EditorOptions	EditorOptions.setFind(EditorFindOptions find)
EditorOptions	EditorOptions.setFind(EditorFindOptions find)
EditorOptions	EditorOptions.setFixedOverflowWidgets(java.lang.Boolean fixedOverflowWidgets)
EditorOptions	EditorOptions.setFixedOverflowWidgets(java.lang.Boolean fixedOverflowWidgets)
EditorOptions	EditorOptions.setFolding(java.lang.Boolean folding)
EditorOptions	EditorOptions.setFolding(java.lang.Boolean folding)
EditorOptions	EditorOptions.setFoldingHighlight(java.lang.Boolean foldingHighlight)
EditorOptions	EditorOptions.setFoldingHighlight(java.lang.Boolean foldingHighlight)
EditorOptions	EditorOptions.setFoldingStrategy(EFoldingStrategy foldingStrategy)
EditorOptions	EditorOptions.setFoldingStrategy(EFoldingStrategy foldingStrategy)
EditorOptions	EditorOptions.setFoldingStrategy(java.lang.String foldingStrategy)
EditorOptions	EditorOptions.setFoldingStrategy(java.lang.String foldingStrategy)
EditorOptions	EditorOptions.setFontFamily(java.lang.String fontFamily)
EditorOptions	EditorOptions.setFontFamily(java.lang.String fontFamily)
EditorOptions	EditorOptions.setFontLigatures(java.lang.Boolean fontLigatures)
EditorOptions	EditorOptions.setFontLigatures(java.lang.Boolean fontLigatures)
EditorOptions	EditorOptions.setFontSize(java.lang.Number fontSize)
EditorOptions	EditorOptions.setFontSize(java.lang.Number fontSize)
EditorOptions	EditorOptions.setFontWeight(EFontWeight fontWeight)
EditorOptions	EditorOptions.setFontWeight(EFontWeight fontWeight)
EditorOptions	EditorOptions.setFontWeight(java.lang.String fontWeight)
EditorOptions	EditorOptions.setFontWeight(java.lang.String fontWeight)
EditorOptions	EditorOptions.setFormatOnPaste(java.lang.Boolean formatOnPaste)
EditorOptions	EditorOptions.setFormatOnPaste(java.lang.Boolean formatOnPaste)
EditorOptions	EditorOptions.setFormatOnType(java.lang.Boolean formatOnType)
EditorOptions	EditorOptions.setFormatOnType(java.lang.Boolean formatOnType)
EditorOptions	EditorOptions.setGlyphMargin(java.lang.Boolean glyphMargin)
EditorOptions	EditorOptions.setGlyphMargin(java.lang.Boolean glyphMargin)
EditorOptions	EditorOptions.setGotoLocation(EditorGotoLocationOptions gotoLocation)
EditorOptions	EditorOptions.setGotoLocation(EditorGotoLocationOptions gotoLocation)
EditorOptions	EditorOptions.setHideCursorInOverviewRuler(java.lang.Boolean hideCursorInOverviewRuler)
EditorOptions	EditorOptions.setHideCursorInOverviewRuler(java.lang.Boolean hideCursorInOverviewRuler)
EditorOptions	EditorOptions.setHighlightActiveIndentGuide(java.lang.Boolean highlightActiveIndentGuide)
EditorOptions	EditorOptions.setHighlightActiveIndentGuide(java.lang.Boolean highlightActiveIndentGuide)
EditorOptions	EditorOptions.setHover(EditorHoverOptions hover)
EditorOptions	EditorOptions.setHover(EditorHoverOptions hover)
EditorOptions	EditorOptions.setInDiffEditor(java.lang.Boolean inDiffEditor)
EditorOptions	EditorOptions.setInDiffEditor(java.lang.Boolean inDiffEditor)
EditorOptions	EditorOptions.setInsertSpaces(java.lang.Boolean insertSpaces)
EditorOptions	EditorOptions.setInsertSpaces(java.lang.Boolean insertSpaces)
EditorOptions	EditorOptions.setLanguage(ELanguage language)
EditorOptions	EditorOptions.setLanguage(ELanguage language)
EditorOptions	EditorOptions.setLanguage(java.lang.String language)
EditorOptions	EditorOptions.setLanguage(java.lang.String language)
EditorOptions	EditorOptions.setLargeFileOptimizations(java.lang.Boolean largeFileOptimizations)
EditorOptions	EditorOptions.setLargeFileOptimizations(java.lang.Boolean largeFileOptimizations)
EditorOptions	EditorOptions.setLetterSpacing(java.lang.Number letterSpacing)
EditorOptions	EditorOptions.setLetterSpacing(java.lang.Number letterSpacing)
EditorOptions	EditorOptions.setLightbulb(EditorLightbulbOptions lightbulb)
EditorOptions	EditorOptions.setLightbulb(EditorLightbulbOptions lightbulb)
EditorOptions	EditorOptions.setLineDecorationsWidth(java.lang.Number lineDecorationsWidth)
EditorOptions	EditorOptions.setLineDecorationsWidth(java.lang.Number lineDecorationsWidth)
EditorOptions	EditorOptions.setLineDecorationsWidth(java.lang.String lineDecorationsWidth)
EditorOptions	EditorOptions.setLineDecorationsWidth(java.lang.String lineDecorationsWidth)
EditorOptions	EditorOptions.setLineHeight(java.lang.Number lineHeight)
EditorOptions	EditorOptions.setLineHeight(java.lang.Number lineHeight)
EditorOptions	EditorOptions.setLineNumbers(ELineNumbers lineNumbers)
EditorOptions	EditorOptions.setLineNumbers(ELineNumbers lineNumbers)
EditorOptions	EditorOptions.setLineNumbers(java.lang.String lineNumbers)
EditorOptions	EditorOptions.setLineNumbers(java.lang.String lineNumbers)
EditorOptions	EditorOptions.setLineNumbersMinChars(java.lang.Number lineNumbersMinChars)
EditorOptions	EditorOptions.setLineNumbersMinChars(java.lang.Number lineNumbersMinChars)
EditorOptions	EditorOptions.setLinks(java.lang.Boolean links)
EditorOptions	EditorOptions.setLinks(java.lang.Boolean links)
EditorOptions	EditorOptions.setMatchBrackets(EMatchBrackets matchBrackets)
EditorOptions	EditorOptions.setMatchBrackets(EMatchBrackets matchBrackets)
EditorOptions	EditorOptions.setMatchBrackets(java.lang.String matchBrackets)
EditorOptions	EditorOptions.setMatchBrackets(java.lang.String matchBrackets)
EditorOptions	EditorOptions.setMaxTokenizationLineLength(java.lang.Number maxTokenizationLineLength)
EditorOptions	EditorOptions.setMaxTokenizationLineLength(java.lang.Number maxTokenizationLineLength)
EditorOptions	EditorOptions.setMinimap(EditorMinimapOptions minimap)
EditorOptions	EditorOptions.setMinimap(EditorMinimapOptions minimap)
EditorOptions	EditorOptions.setMouseStyle(EMouseStyle mouseStyle)
EditorOptions	EditorOptions.setMouseStyle(EMouseStyle mouseStyle)
EditorOptions	EditorOptions.setMouseStyle(java.lang.String mouseStyle)
EditorOptions	EditorOptions.setMouseStyle(java.lang.String mouseStyle)
EditorOptions	EditorOptions.setMouseWheelScrollSensitivity(java.lang.Number mouseWheelScrollSensitivity)
EditorOptions	EditorOptions.setMouseWheelScrollSensitivity(java.lang.Number mouseWheelScrollSensitivity)
EditorOptions	EditorOptions.setMouseWheelZoom(java.lang.Boolean mouseWheelZoom)
EditorOptions	EditorOptions.setMouseWheelZoom(java.lang.Boolean mouseWheelZoom)
EditorOptions	EditorOptions.setMultiCursorMergeOverlapping(java.lang.Boolean multiCursorMergeOverlapping)
EditorOptions	EditorOptions.setMultiCursorMergeOverlapping(java.lang.Boolean multiCursorMergeOverlapping)
EditorOptions	EditorOptions.setMultiCursorModifier(EMultiCursorModifier multiCursorModifier)
EditorOptions	EditorOptions.setMultiCursorModifier(EMultiCursorModifier multiCursorModifier)
EditorOptions	EditorOptions.setMultiCursorModifier(java.lang.String multiCursorModifier)
EditorOptions	EditorOptions.setMultiCursorModifier(java.lang.String multiCursorModifier)
EditorOptions	EditorOptions.setMultiCursorPaste(EMultiCursorPaste multiCursorPaste)
EditorOptions	EditorOptions.setMultiCursorPaste(EMultiCursorPaste multiCursorPaste)
EditorOptions	EditorOptions.setMultiCursorPaste(java.lang.String multiCursorPaste)
EditorOptions	EditorOptions.setMultiCursorPaste(java.lang.String multiCursorPaste)
EditorOptions	EditorOptions.setOccurrencesHighlight(java.lang.Boolean occurrencesHighlight)
EditorOptions	EditorOptions.setOccurrencesHighlight(java.lang.Boolean occurrencesHighlight)
EditorOptions	EditorOptions.setOverviewRulerBorder(java.lang.Boolean overviewRulerBorder)
EditorOptions	EditorOptions.setOverviewRulerBorder(java.lang.Boolean overviewRulerBorder)
EditorOptions	EditorOptions.setOverviewRulerLanes(java.lang.Number overviewRulerLanes)
EditorOptions	EditorOptions.setOverviewRulerLanes(java.lang.Number overviewRulerLanes)
EditorOptions	EditorOptions.setPadding(EditorPaddingOptions padding)
EditorOptions	EditorOptions.setPadding(EditorPaddingOptions padding)
EditorOptions	EditorOptions.setParameterHints(java.lang.Boolean parameterHints)
EditorOptions	EditorOptions.setParameterHints(java.lang.Boolean parameterHints)
EditorOptions	EditorOptions.setPeekWidgetDefaultFocus(EPeekWidgetDefaultFocus peekWidgetDefaultFocus)
EditorOptions	EditorOptions.setPeekWidgetDefaultFocus(EPeekWidgetDefaultFocus peekWidgetDefaultFocus)
EditorOptions	EditorOptions.setPeekWidgetDefaultFocus(java.lang.String peekWidgetDefaultFocus)
EditorOptions	EditorOptions.setPeekWidgetDefaultFocus(java.lang.String peekWidgetDefaultFocus)
EditorOptions	EditorOptions.setQuickSuggestions(EditorQuickSuggestionsOptions quickSuggestions)
EditorOptions	EditorOptions.setQuickSuggestions(EditorQuickSuggestionsOptions quickSuggestions)
EditorOptions	EditorOptions.setQuickSuggestionsDelay(java.lang.Number quickSuggestionsDelay)
EditorOptions	EditorOptions.setQuickSuggestionsDelay(java.lang.Number quickSuggestionsDelay)
EditorOptions	EditorOptions.setReadOnly(java.lang.Boolean readOnly)
EditorOptions	EditorOptions.setReadOnly(java.lang.Boolean readOnly)
EditorOptions	EditorOptions.setRenameOnType(java.lang.Boolean renameOnType)
EditorOptions	EditorOptions.setRenameOnType(java.lang.Boolean renameOnType)
EditorOptions	EditorOptions.setRenderControlCharacters(java.lang.Boolean renderControlCharacters)
EditorOptions	EditorOptions.setRenderControlCharacters(java.lang.Boolean renderControlCharacters)
EditorOptions	EditorOptions.setRenderFinalNewline(java.lang.Boolean renderFinalNewline)
EditorOptions	EditorOptions.setRenderFinalNewline(java.lang.Boolean renderFinalNewline)
EditorOptions	EditorOptions.setRenderIndentGuides(java.lang.Boolean renderIndentGuides)
EditorOptions	EditorOptions.setRenderIndentGuides(java.lang.Boolean renderIndentGuides)
EditorOptions	EditorOptions.setRenderLineHighlight(ERenderLineHighlight renderLineHighlight)
EditorOptions	EditorOptions.setRenderLineHighlight(ERenderLineHighlight renderLineHighlight)
EditorOptions	EditorOptions.setRenderLineHighlight(java.lang.String renderLineHighlight)
EditorOptions	EditorOptions.setRenderLineHighlight(java.lang.String renderLineHighlight)
EditorOptions	EditorOptions.setRenderLineHighlightOnlyWhenFocus(java.lang.Boolean renderLineHighlightOnlyWhenFocus)
EditorOptions	EditorOptions.setRenderLineHighlightOnlyWhenFocus(java.lang.Boolean renderLineHighlightOnlyWhenFocus)
EditorOptions	EditorOptions.setRenderValidationDecorations(ERenderValidationDecorations renderValidationDecorations)
EditorOptions	EditorOptions.setRenderValidationDecorations(ERenderValidationDecorations renderValidationDecorations)
EditorOptions	EditorOptions.setRenderValidationDecorations(java.lang.String renderValidationDecorations)
EditorOptions	EditorOptions.setRenderValidationDecorations(java.lang.String renderValidationDecorations)
EditorOptions	EditorOptions.setRenderWhitespace(ERenderWhitespace renderWhitespace)
EditorOptions	EditorOptions.setRenderWhitespace(ERenderWhitespace renderWhitespace)
EditorOptions	EditorOptions.setRenderWhitespace(java.lang.String renderWhitespace)
EditorOptions	EditorOptions.setRenderWhitespace(java.lang.String renderWhitespace)
EditorOptions	EditorOptions.setRevealHorizontalRightPadding(java.lang.Number revealHorizontalRightPadding)
EditorOptions	EditorOptions.setRevealHorizontalRightPadding(java.lang.Number revealHorizontalRightPadding)
EditorOptions	EditorOptions.setRoundedSelection(java.lang.Boolean roundedSelection)
EditorOptions	EditorOptions.setRoundedSelection(java.lang.Boolean roundedSelection)
EditorOptions	EditorOptions.setRulers(org.primefaces.shaded.json.JSONArray rulers)
EditorOptions	EditorOptions.setRulers(org.primefaces.shaded.json.JSONArray rulers)
EditorOptions	EditorOptions.setRulers(java.util.List<EditorRulerOption> rulers)
EditorOptions	EditorOptions.setRulers(java.util.List<EditorRulerOption> rulers)
EditorOptions	EditorOptions.setScrollbar(EditorScrollbarOptions scrollbar)
EditorOptions	EditorOptions.setScrollbar(EditorScrollbarOptions scrollbar)
EditorOptions	EditorOptions.setScrollBeyondLastColumn(java.lang.Number scrollBeyondLastColumn)
EditorOptions	EditorOptions.setScrollBeyondLastColumn(java.lang.Number scrollBeyondLastColumn)
EditorOptions	EditorOptions.setScrollBeyondLastLine(java.lang.Boolean scrollBeyondLastLine)
EditorOptions	EditorOptions.setScrollBeyondLastLine(java.lang.Boolean scrollBeyondLastLine)
EditorOptions	EditorOptions.setScrollPredominantAxis(java.lang.Boolean scrollPredominantAxis)
EditorOptions	EditorOptions.setScrollPredominantAxis(java.lang.Boolean scrollPredominantAxis)
EditorOptions	EditorOptions.setSelectionClipboard(java.lang.Boolean selectionClipboard)
EditorOptions	EditorOptions.setSelectionClipboard(java.lang.Boolean selectionClipboard)
EditorOptions	EditorOptions.setSelectionHighlight(java.lang.Boolean selectionHighlight)
EditorOptions	EditorOptions.setSelectionHighlight(java.lang.Boolean selectionHighlight)
EditorOptions	EditorOptions.setSelectOnLineNumbers(java.lang.Boolean selectOnLineNumbers)
EditorOptions	EditorOptions.setSelectOnLineNumbers(java.lang.Boolean selectOnLineNumbers)
EditorOptions	EditorOptions.setSemanticHighlightingEnabled(ESemanticHighlightingEnabled semanticHighlightingEnabled)
EditorOptions	EditorOptions.setSemanticHighlightingEnabled(ESemanticHighlightingEnabled semanticHighlightingEnabled)
EditorOptions	EditorOptions.setSemanticHighlightingEnabled(java.lang.String semanticHighlightingEnabled)
EditorOptions	EditorOptions.setSemanticHighlightingEnabled(java.lang.String semanticHighlightingEnabled)
EditorOptions	EditorOptions.setShowDeprecated(java.lang.Boolean showDeprecated)
EditorOptions	EditorOptions.setShowDeprecated(java.lang.Boolean showDeprecated)
EditorOptions	EditorOptions.setShowFoldingControls(EShowFoldingControls showFoldingControls)
EditorOptions	EditorOptions.setShowFoldingControls(EShowFoldingControls showFoldingControls)
EditorOptions	EditorOptions.setShowFoldingControls(java.lang.String showFoldingControls)
EditorOptions	EditorOptions.setShowFoldingControls(java.lang.String showFoldingControls)
EditorOptions	EditorOptions.setShowUnused(java.lang.Boolean showUnused)
EditorOptions	EditorOptions.setShowUnused(java.lang.Boolean showUnused)
EditorOptions	EditorOptions.setSmoothScrolling(java.lang.Boolean smoothScrolling)
EditorOptions	EditorOptions.setSmoothScrolling(java.lang.Boolean smoothScrolling)
EditorOptions	EditorOptions.setSnippetSuggestions(ESnippetSuggestions snippetSuggestions)
EditorOptions	EditorOptions.setSnippetSuggestions(ESnippetSuggestions snippetSuggestions)
EditorOptions	EditorOptions.setSnippetSuggestions(java.lang.String snippetSuggestions)
EditorOptions	EditorOptions.setSnippetSuggestions(java.lang.String snippetSuggestions)
EditorOptions	EditorOptions.setStablePeek(java.lang.Boolean stablePeek)
EditorOptions	EditorOptions.setStablePeek(java.lang.Boolean stablePeek)
EditorOptions	EditorOptions.setStickyTabStops(java.lang.Boolean stickyTabStops)
EditorOptions	EditorOptions.setStickyTabStops(java.lang.Boolean stickyTabStops)
EditorOptions	EditorOptions.setStopRenderingLineAfter(java.lang.Number stopRenderingLineAfter)
EditorOptions	EditorOptions.setStopRenderingLineAfter(java.lang.Number stopRenderingLineAfter)
EditorOptions	EditorOptions.setSuggest(EditorSuggestOptions suggest)
EditorOptions	EditorOptions.setSuggest(EditorSuggestOptions suggest)
EditorOptions	EditorOptions.setSuggestFontSize(java.lang.Number suggestFontSize)
EditorOptions	EditorOptions.setSuggestFontSize(java.lang.Number suggestFontSize)
EditorOptions	EditorOptions.setSuggestLineHeight(java.lang.Number suggestLineHeight)
EditorOptions	EditorOptions.setSuggestLineHeight(java.lang.Number suggestLineHeight)
EditorOptions	EditorOptions.setSuggestOnTriggerCharacters(java.lang.Boolean suggestOnTriggerCharacters)
EditorOptions	EditorOptions.setSuggestOnTriggerCharacters(java.lang.Boolean suggestOnTriggerCharacters)
EditorOptions	EditorOptions.setSuggestSelection(ESuggestSelection suggestSelection)
EditorOptions	EditorOptions.setSuggestSelection(ESuggestSelection suggestSelection)
EditorOptions	EditorOptions.setSuggestSelection(java.lang.String suggestSelection)
EditorOptions	EditorOptions.setSuggestSelection(java.lang.String suggestSelection)
EditorOptions	EditorOptions.setTabCompletion(ETabCompletion tabCompletion)
EditorOptions	EditorOptions.setTabCompletion(ETabCompletion tabCompletion)
EditorOptions	EditorOptions.setTabCompletion(java.lang.String tabCompletion)
EditorOptions	EditorOptions.setTabCompletion(java.lang.String tabCompletion)
EditorOptions	EditorOptions.setTabIndex(java.lang.Number tabIndex)
EditorOptions	EditorOptions.setTabIndex(java.lang.Number tabIndex)
EditorOptions	EditorOptions.setTabSize(java.lang.Number tabSize)
EditorOptions	EditorOptions.setTabSize(java.lang.Number tabSize)
EditorOptions	EditorOptions.setTheme(ETheme theme)
EditorOptions	EditorOptions.setTheme(ETheme theme)
EditorOptions	EditorOptions.setTheme(java.lang.String theme)
EditorOptions	EditorOptions.setTheme(java.lang.String theme)
EditorOptions	EditorOptions.setTrimAutoWhitespace(java.lang.Boolean trimAutoWhitespace)
EditorOptions	EditorOptions.setTrimAutoWhitespace(java.lang.Boolean trimAutoWhitespace)
EditorOptions	EditorOptions.setUnfoldOnClickAfterEndOfLine(java.lang.Boolean unfoldOnClickAfterEndOfLine)
EditorOptions	EditorOptions.setUnfoldOnClickAfterEndOfLine(java.lang.Boolean unfoldOnClickAfterEndOfLine)
EditorOptions	EditorOptions.setUnusualLineTerminators(EUnusualLineTerminators unusualLineTerminators)
EditorOptions	EditorOptions.setUnusualLineTerminators(EUnusualLineTerminators unusualLineTerminators)
EditorOptions	EditorOptions.setUnusualLineTerminators(java.lang.String unusualLineTerminators)
EditorOptions	EditorOptions.setUnusualLineTerminators(java.lang.String unusualLineTerminators)
EditorOptions	EditorOptions.setUseTabStops(java.lang.Boolean useTabStops)
EditorOptions	EditorOptions.setUseTabStops(java.lang.Boolean useTabStops)
EditorOptions	EditorOptions.setWordBasedSuggestions(java.lang.Boolean wordBasedSuggestions)
EditorOptions	EditorOptions.setWordBasedSuggestions(java.lang.Boolean wordBasedSuggestions)
EditorOptions	EditorOptions.setWordSeparators(java.lang.String wordSeparators)
EditorOptions	EditorOptions.setWordSeparators(java.lang.String wordSeparators)
EditorOptions	EditorOptions.setWordWrap(EWordWrap wordWrap)
EditorOptions	EditorOptions.setWordWrap(EWordWrap wordWrap)
EditorOptions	EditorOptions.setWordWrap(java.lang.String wordWrap)
EditorOptions	EditorOptions.setWordWrap(java.lang.String wordWrap)
EditorOptions	EditorOptions.setWordWrapBreakAfterCharacters(java.lang.String wordWrapBreakAfterCharacters)
EditorOptions	EditorOptions.setWordWrapBreakAfterCharacters(java.lang.String wordWrapBreakAfterCharacters)
EditorOptions	EditorOptions.setWordWrapBreakBeforeCharacters(java.lang.String wordWrapBreakBeforeCharacters)
EditorOptions	EditorOptions.setWordWrapBreakBeforeCharacters(java.lang.String wordWrapBreakBeforeCharacters)
EditorOptions	EditorOptions.setWordWrapColumn(java.lang.Number wordWrapColumn)
EditorOptions	EditorOptions.setWordWrapColumn(java.lang.Number wordWrapColumn)
EditorOptions	EditorOptions.setWordWrapMinified(java.lang.Boolean wordWrapMinified)
EditorOptions	EditorOptions.setWordWrapMinified(java.lang.Boolean wordWrapMinified)
EditorOptions	EditorOptions.setWrappingIndent(EWrappingIndent wrappingIndent)
EditorOptions	EditorOptions.setWrappingIndent(EWrappingIndent wrappingIndent)
EditorOptions	EditorOptions.setWrappingIndent(java.lang.String wrappingIndent)
EditorOptions	EditorOptions.setWrappingIndent(java.lang.String wrappingIndent)
EditorOptions	EditorOptions.setWrappingStrategy(EWrappingStrategy wrappingStrategy)
EditorOptions	EditorOptions.setWrappingStrategy(EWrappingStrategy wrappingStrategy)
EditorOptions	EditorOptions.setWrappingStrategy(java.lang.String wrappingStrategy)
EditorOptions	EditorOptions.setWrappingStrategy(java.lang.String wrappingStrategy)