com.google.caja.demos.playground.client.ui
Class PlaygroundEditor

java.lang.Object
  extended by com.google.gwt.user.client.ui.UIObject
      extended by com.google.gwt.user.client.ui.Widget
          extended by com.google.gwt.user.client.ui.Composite
              extended by com.google.caja.demos.playground.client.ui.PlaygroundEditor
All Implemented Interfaces:
com.google.gwt.event.shared.HasHandlers, com.google.gwt.user.client.EventListener

public class PlaygroundEditor
extends com.google.gwt.user.client.ui.Composite

Editor that is a thin wrapper around CodeMirror

Author:
jasvir@gmail.com (Jasvir Nagra)

Nested Class Summary
 
Nested classes/interfaces inherited from class com.google.gwt.user.client.ui.UIObject
com.google.gwt.user.client.ui.UIObject.DebugIdImpl, com.google.gwt.user.client.ui.UIObject.DebugIdImplEnabled
 
Field Summary
private  com.google.gwt.core.client.JavaScriptObject editor
           
private  com.google.gwt.user.client.ui.TextArea feralTextArea
           
 
Fields inherited from class com.google.gwt.user.client.ui.UIObject
DEBUG_ID_PREFIX
 
Constructor Summary
PlaygroundEditor()
           
 
Method Summary
 java.lang.String getText()
           
 com.google.gwt.core.client.JavaScriptObject initialize(com.google.gwt.dom.client.Element el)
           
 void onLoad()
           
 void setCursorPos(int start)
           
 void setSelectionRange(int s, int sOffset, int t, int tOffset)
           
 void setText(java.lang.String html)
           
 
Methods inherited from class com.google.gwt.user.client.ui.Composite
getWidget, initWidget, isAttached, onAttach, onBrowserEvent, onDetach, setWidget
 
Methods inherited from class com.google.gwt.user.client.ui.Widget
addDomHandler, addHandler, delegateEvent, doAttachChildren, doDetachChildren, fireEvent, getHandlerCount, getLayoutData, getParent, isOrWasAttached, onUnload, removeFromParent, setLayoutData, sinkEvents
 
Methods inherited from class com.google.gwt.user.client.ui.UIObject
addStyleDependentName, addStyleName, ensureDebugId, ensureDebugId, ensureDebugId, getAbsoluteLeft, getAbsoluteTop, getElement, getOffsetHeight, getOffsetWidth, getStyleElement, getStyleName, getStyleName, getStylePrimaryName, getStylePrimaryName, getTitle, isVisible, isVisible, onEnsureDebugId, removeStyleDependentName, removeStyleName, setElement, setElement, setHeight, setPixelSize, setSize, setStyleName, setStyleName, setStyleName, setStylePrimaryName, setStylePrimaryName, setTitle, setVisible, setVisible, setWidth, toString, unsinkEvents
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

editor

private com.google.gwt.core.client.JavaScriptObject editor

feralTextArea

private com.google.gwt.user.client.ui.TextArea feralTextArea
Constructor Detail

PlaygroundEditor

public PlaygroundEditor()
Method Detail

onLoad

public void onLoad()
Overrides:
onLoad in class com.google.gwt.user.client.ui.Widget

initialize

public com.google.gwt.core.client.JavaScriptObject initialize(com.google.gwt.dom.client.Element el)

getText

public java.lang.String getText()

setText

public void setText(java.lang.String html)

setCursorPos

public void setCursorPos(int start)

setSelectionRange

public void setSelectionRange(int s,
                              int sOffset,
                              int t,
                              int tOffset)


Copyright (C) 2008 Google Inc.
Licensed under the Apache License, Version 2.0