public class MainMenu
extends com.google.gwt.user.client.ui.Composite
Modifier and Type | Field and Description |
---|---|
com.google.gwt.user.client.ui.MenuItem |
administration |
Bookmark |
bookmark |
BookmarkPopup |
bookmarkPopup |
ManageBookmarkPopup |
manageBookmarkPopup |
int |
reportOutput |
com.google.gwt.user.client.ui.MenuBar |
subMenuBookmark |
static String |
URI_BUG_REPORT |
static String |
URI_DOCUMENTATION |
static String |
URI_HELP |
static String |
URI_PROJECT_WEB |
static String |
URI_PUBLIC_FORUM |
static String |
URI_SUPPORT_REQUEST |
static String |
URI_VERSION_CHANGES |
Constructor and Description |
---|
MainMenu() |
Modifier and Type | Method and Description |
---|---|
void |
addMenuExtension(MenuItemExtension extension)
addMenu
|
void |
disable(com.google.gwt.user.client.ui.MenuItem menuItem)
Disables the menu item with and strike
|
void |
disableAddPropertyGroup()
disableAddPropertyGroup
|
void |
disableAllOptions()
disableAllOptions
|
void |
disablePdfMerge()
disablePdfMerge
|
void |
disableRemovePropertyGroup()
disableRemovePropertyGroup
|
void |
disableUpdatePropertyGroup()
disableAddPropertyGroup
|
void |
enable(com.google.gwt.user.client.ui.MenuItem menuItem)
Enables menu item
|
void |
enableAddPropertyGroup()
enableAddPropertyGroup
|
void |
enablePdfMerge()
enablePdfMerge
|
void |
enableRemovePropertyGroup()
enableRemovePropertyGroup
|
void |
enableUpdatePropertyGroup()
enableUpdatePropertyGroup
|
void |
evaluateMenuOptions()
Enables or disables menu option on privileges
|
int |
getReportOutput()
getReportOutput
|
ToolBarOption |
getToolBarOption()
Gets the tools bar options
|
void |
initAvailableLanguage(List<GWTLanguage> langs)
initAvailableLanguage
|
void |
langRefresh() |
void |
refreshAvailableTemplates()
refreshAvailableTemplates
|
void |
setAvailableOption(GWTWorkspace workspace)
setAvailableOption
|
void |
setBookmarkMenuVisible(boolean visible)
setBookmarkMenuVisible
|
void |
setEditMenuVisible(boolean visible)
setEditMenuVisible
|
void |
setFileMenuVisible(boolean visible)
setFileMenuVisible
|
void |
setHelpMenuVisible(boolean visible)
setHelpMenuVisible
|
void |
setOptions(ToolBarOption mainMenuOption)
Sets the main menu options
|
void |
setTemplatesMenuVisible(boolean visible)
setTemplatesMenuVisible
|
void |
setToolsMenuVisible(boolean visible)
setToolsMenuVisible
|
void |
startRefreshingMenus(double scheduleTime)
startRefreshingMenus
|
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 String URI_HELP
public static final String URI_BUG_REPORT
public static final String URI_SUPPORT_REQUEST
public static final String URI_PUBLIC_FORUM
public static final String URI_PROJECT_WEB
public static final String URI_DOCUMENTATION
public static final String URI_VERSION_CHANGES
public Bookmark bookmark
public BookmarkPopup bookmarkPopup
public ManageBookmarkPopup manageBookmarkPopup
public int reportOutput
public com.google.gwt.user.client.ui.MenuItem administration
public com.google.gwt.user.client.ui.MenuBar subMenuBookmark
public void langRefresh()
public void enable(com.google.gwt.user.client.ui.MenuItem menuItem)
menuItem
- The menu itempublic void disable(com.google.gwt.user.client.ui.MenuItem menuItem)
menuItem
- The menu itempublic void evaluateMenuOptions()
public void enableAddPropertyGroup()
public void disableAddPropertyGroup()
public void enableUpdatePropertyGroup()
public void disableUpdatePropertyGroup()
public void enablePdfMerge()
public void disablePdfMerge()
public void enableRemovePropertyGroup()
public void disableRemovePropertyGroup()
public void disableAllOptions()
public void setOptions(ToolBarOption mainMenuOption)
mainMenuOption
- The manin Menu optionspublic ToolBarOption getToolBarOption()
public void setAvailableOption(GWTWorkspace workspace)
option
- public void setEditMenuVisible(boolean visible)
visible
- public void setToolsMenuVisible(boolean visible)
visible
- public void setBookmarkMenuVisible(boolean visible)
visible
- public void setTemplatesMenuVisible(boolean visible)
visible
- public void setHelpMenuVisible(boolean visible)
visible
- public void setFileMenuVisible(boolean visible)
visible
- public void addMenuExtension(MenuItemExtension extension)
extension
- public int getReportOutput()
public void initAvailableLanguage(List<GWTLanguage> langs)
public void refreshAvailableTemplates()
public void startRefreshingMenus(double scheduleTime)
Copyright © 2017 Open Knowledge Management System S.L.. All rights reserved.