com.openkm.frontend.client.panel.left

Class HistorySearch

java.lang.Object

com.google.gwt.user.client.ui.UIObject

com.google.gwt.user.client.ui.Widget

com.google.gwt.user.client.ui.Composite

com.openkm.frontend.client.panel.left.HistorySearch

All Implemented Interfaces:

com.google.gwt.event.logical.shared.HasAttachHandlers, com.google.gwt.event.shared.HasHandlers, com.google.gwt.user.client.EventListener, com.google.gwt.user.client.ui.HasVisibility, com.google.gwt.user.client.ui.IsRenderable, com.google.gwt.user.client.ui.IsWidget

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

History search panel

Author:

jllort

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

Fields

Modifier and Type	Field and Description
static int	NUMBER_OF_STACKS
com.google.gwt.user.client.ui.ScrollPanel	scrollSearchSavedPanel
com.google.gwt.user.client.ui.ScrollPanel	scrollUserNewsSavedPanel
SearchSaved	searchSaved
com.google.gwt.user.client.ui.StackPanel	stackPanel
UserNews	userNews

Fields inherited from class com.google.gwt.user.client.ui.UIObject

DEBUG_ID_PREFIX

Constructor Summary

Constructors

Constructor and Description
HistorySearch() HistorySearch

Method Summary

Methods

Modifier and Type	Method and Description
void	langRefresh() Refresh language descriptions
void	setSize(int width, int height) Resizes all objects on the widget the panel and the tree
void	setSkinExtrStackSize(int skinExtrStackSize)

Methods inherited from class com.google.gwt.user.client.ui.Composite

getWidget, initWidget, isAttached, onAttach, onBrowserEvent, onDetach, performDetachedInitialization, render, render, resolvePotentialElement, setWidget, wrapElement

Methods inherited from class com.google.gwt.user.client.ui.Widget

addAttachHandler, addBitlessDomHandler, addDomHandler, addHandler, asWidget, asWidgetOrNull, createHandlerManager, delegateEvent, doAttachChildren, doDetachChildren, fireEvent, getHandlerCount, getLayoutData, getParent, isOrWasAttached, onLoad, 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, setStyleDependentName, setStyleName, setStyleName, setStyleName, setStyleName, setStylePrimaryName, setStylePrimaryName, setTitle, setVisible, setVisible, setWidth, sinkBitlessEvent, toString, unsinkEvents

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

NUMBER_OF_STACKS

public static final int NUMBER_OF_STACKS

See Also:

Constant Field Values

stackPanel

public com.google.gwt.user.client.ui.StackPanel stackPanel

scrollSearchSavedPanel

public com.google.gwt.user.client.ui.ScrollPanel scrollSearchSavedPanel

scrollUserNewsSavedPanel

public com.google.gwt.user.client.ui.ScrollPanel scrollUserNewsSavedPanel

searchSaved

public SearchSaved searchSaved

userNews

public UserNews userNews

Constructor Detail

HistorySearch

public HistorySearch()

HistorySearch

Method Detail

langRefresh

public void langRefresh()

Refresh language descriptions

setSize

public void setSize(int width,
           int height)

Resizes all objects on the widget the panel and the tree

Parameters:

width - The widget width

height - The widget height

setSkinExtrStackSize

public void setSkinExtrStackSize(int skinExtrStackSize)

Parameters:

skinExtrStackSize -