Methods

    • Split.blur()

Blurs the current editor.

Blurs the current editor.

    • Split.execute()
    • Undocumented
    • Split.focus()

Focuses the current editor.

Focuses the current editor.

Arguments

callbackFunction

Required. A callback function to execute

scopeString

Required. The default scope for the callback

Executes callback on all of the available editors.

    • Split.getCurrentEditor()

Returns the current editor.

Returns the current editor.

    • Undocumented

Arguments

idxNumber

Required. The index of the editor you want

Returns the editor identified by the index idx.

    • Split.getOrientation()

Returns the orientation.

Returns the orientation.

Returns the number of splits.

Returns the number of splits.

    • Split.hasRedo()
    • Undocumented
    • Split.hasUndo()
    • Undocumented
    • Split.redo()
    • Undocumented
    • Split.reset()
    • Undocumented
    • Split.resize()

Resizes the editor.

Resizes the editor.

    • Split.setFontSize(Number size)
    • Undocumented

Arguments

sizeNumber

Required. The new font size

Sets the font size, in pixels, for all the available editors.

    • Split.setKeyboardHandler(String keybinding)
    • Undocumented

Arguments

keybindingString

Required. Sets the keyboard handler for the editor.

    • Split.setOrientation(Number orientation)

Sets the orientation.

Sets the orientation.

Arguments

orientationNumber

Required. The new orientation value

Arguments

sessionEditSession

Required. The new edit session

idxNumber

Required. The editor's index you're interested in

Sets a new EditSession for the indicated editor.

    • Split.setSplits()
    • Undocumented
    • Split.setTheme(String theme)
    • Undocumented

Arguments

themeString

Required. The name of the theme to set

Sets a theme for each of the available editors.

    • Split.undo()
    • Undocumented
    • Split.UndoManagerProxy()
    • Undocumented