package org.geogebra.web.html5.gui.util;
import com.google.gwt.user.client.ui.impl.RichTextAreaImplMozilla;
public class RichTextAreaImplG extends RichTextAreaImplMozilla {
@Override
public void setFocusImpl(boolean focus){
// makeEditable(false);
super.setFocusImpl(focus);
// makeEditable(true);
}
private native void makeEditable(boolean editable) /*-{
_this.@com.google.gwt.user.client.ui.impl.RichTextAreaImpl::elem.contentWindow.document.body.contentEditable = editable;
}-*/;
}