public interface PageEditorView
extends com.google.gwt.user.client.ui.IsWidget
Modifier and Type | Interface and Description |
---|---|
static interface |
PageEditorView.Listener
Listener.
|
Modifier and Type | Method and Description |
---|---|
com.google.gwt.user.client.ui.Widget |
getContent() |
PageEditorFrame |
getFrame() |
void |
initDomEventListeners() |
void |
initKeyEventListeners() |
void |
reload() |
void |
resetScrollTop()
Deprecated.
since 6.2.10, use
resetScrollTop(int) instead. |
void |
resetScrollTop(int lastScrollTopPosition)
Because of issue: https://github.com/gwtproject/gwt/issues/9268, default function cannot be used here.
|
void |
setLastScrollPosition(int scrollPosition)
Deprecated.
since 6.2.10, now the last scroll position is stored on server side.
|
void |
setListener(PageEditorView.Listener listener) |
void |
setUrl(String url) |
void initDomEventListeners()
void initKeyEventListeners()
com.google.gwt.user.client.ui.Widget getContent()
PageEditorFrame getFrame()
void setListener(PageEditorView.Listener listener)
void setUrl(String url)
void reload()
void setLastScrollPosition(int scrollPosition)
void resetScrollTop()
resetScrollTop(int)
instead.void resetScrollTop(int lastScrollTopPosition)
Copyright © 2021 Magnolia International Ltd.. All rights reserved.