public class TopPanel
extends com.google.gwt.user.client.ui.Composite
Modifier and Type | Class and Description |
---|---|
class |
TopPanel.ExtendedHorizontalPanel |
Modifier and Type | Field and Description |
---|---|
MainMenu |
mainMenu |
com.google.gwt.user.client.ui.HTML |
openkmVersion |
static int |
PANEL_HEIGHT |
TabWorkspace |
tabWorkspace |
ToolBar |
toolBar |
Constructor and Description |
---|
TopPanel()
Top panel
|
Modifier and Type | Method and Description |
---|---|
void |
langRefresh()
Lang refresh
|
void |
setPendingFilesToUpload(int number)
setPendingFilesToUpload
|
void |
setPercentageUploading(int percentage)
setPercentageUploading
|
getWidget, initWidget, isAttached, onAttach, onBrowserEvent, onDetach, performDetachedInitialization, render, render, resolvePotentialElement, setWidget, wrapElement
addAttachHandler, addBitlessDomHandler, addDomHandler, addHandler, asWidget, asWidgetOrNull, createHandlerManager, delegateEvent, doAttachChildren, doDetachChildren, fireEvent, getHandlerCount, getLayoutData, getParent, isOrWasAttached, onLoad, onUnload, removeFromParent, setLayoutData, sinkEvents
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, setStyleDependentName, setStyleName, setStyleName, setStyleName, setStyleName, setStylePrimaryName, setStylePrimaryName, setTitle, setVisible, setVisible, setWidth, sinkBitlessEvent, toString, unsinkEvents
public static final int PANEL_HEIGHT
public MainMenu mainMenu
public ToolBar toolBar
public TabWorkspace tabWorkspace
public com.google.gwt.user.client.ui.HTML openkmVersion
Copyright © 2018 Open Knowledge Management System S.L.. All rights reserved.