Class Editor


  • @JsType(isNative=true)
    public class Editor
    extends Object
    • 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()