org.jboss.hal.ballroom.editor

Class Editor

java.lang.Object

org.jboss.hal.ballroom.editor.Editor

@JsType(isNative=true)
public class Editor
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
Object	$blockScrolling

Constructor Summary

Constructors

Constructor and Description
Editor()

Method Summary

Modifier and Type	Method and Description
void	find(String query)
void	findNext()
void	findPrevious()
void	focus()
Session	getSession()
void	gotoLine(int line, int column, boolean animate)
void	resize()
void	selectAll()
void	setOptions(Options options)
void	setReadOnly(boolean readOnly)
void	setTheme(String theme)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

$blockScrolling

@JsProperty
public Object $blockScrolling

Constructor Detail

Editor

public Editor()

Method Detail

focus

public void focus()

resize

public void resize()

gotoLine

public void gotoLine(int line,
                     int column,
                     boolean animate)

selectAll

public void selectAll()

getSession

public Session getSession()

setOptions

public void setOptions(Options options)

setReadOnly

public void setReadOnly(boolean readOnly)

setTheme

public void setTheme(String theme)

find

public void find(String query)

findNext

public void findNext()

findPrevious

public void findPrevious()