Subversion Repository Public Repository

litesoft

Diff Revisions 949 vs 950 for /trunk/Java/GWT/OldClient/src/org/litesoft/GWT/client/widgets/nonpublic/TaskbarDockingPanel.java

Diff revisions: vs.
  @@ -1,34 +1,34 @@
1 - // This Source Code is in the Public Domain per: http://unlicense.org
2 - package org.litesoft.GWT.client.widgets.nonpublic;
3 -
4 - import org.litesoft.GWT.client.taskbar.*;
5 - import org.litesoft.GWT.client.widgets.*;
6 -
7 - import com.google.gwt.user.client.ui.*;
8 -
9 - public class TaskbarDockingPanel extends SizeableDockingPanel {
10 - private TaskbarHelper mTaskbarHelper;
11 -
12 - public TaskbarHelper getTaskbarHelper() {
13 - return mTaskbarHelper;
14 - }
15 -
16 - public void setTaskbarHelper( TaskbarHelper pTaskbarHelper ) {
17 - mTaskbarHelper = pTaskbarHelper;
18 - pTaskbarHelper.setTaskbarDockingPanel( this );
19 - }
20 -
21 - public void bringFloaterToTop( SizeableFloater pFloater ) {
22 - Widget contentWidget = getContentWidget();
23 - SizeableFloatableContainerPanel containerPanel = (SizeableFloatableContainerPanel) contentWidget;
24 - containerPanel.makeTop( pFloater );
25 - // todo: minimum visible?
26 - // pFloater.setPosition( 0, 0 );
27 -
28 - System.out.println( "BringFloaterToTop: " + pFloater.getTitle() );
29 - System.out.println(
30 - " X: " + pFloater.minPosLeft() + " <= " + pFloater.getPosLeft() + " + " + pFloater.getOffsetWidth() + " <? " + pFloater.maxPosLeft() );
31 - System.out
32 - .println( " Y: " + pFloater.minPosTop() + " <= " + pFloater.getPosTop() + " + " + pFloater.getOffsetHeight() + " <? " + pFloater.maxPosTop() );
33 - }
34 - }
1 + // This Source Code is in the Public Domain per: http://unlicense.org
2 + package org.litesoft.GWT.client.widgets.nonpublic;
3 +
4 + import org.litesoft.GWT.client.taskbar.*;
5 + import org.litesoft.GWT.client.widgets.*;
6 +
7 + import com.google.gwt.user.client.ui.*;
8 +
9 + public class TaskbarDockingPanel extends SizeableDockingPanel {
10 + private TaskbarHelper mTaskbarHelper;
11 +
12 + public TaskbarHelper getTaskbarHelper() {
13 + return mTaskbarHelper;
14 + }
15 +
16 + public void setTaskbarHelper( TaskbarHelper pTaskbarHelper ) {
17 + mTaskbarHelper = pTaskbarHelper;
18 + pTaskbarHelper.setTaskbarDockingPanel( this );
19 + }
20 +
21 + public void bringFloaterToTop( SizeableFloater pFloater ) {
22 + Widget contentWidget = getContentWidget();
23 + SizeableFloatableContainerPanel containerPanel = (SizeableFloatableContainerPanel) contentWidget;
24 + containerPanel.makeTop( pFloater );
25 + // todo: minimum visible?
26 + // pFloater.setPosition( 0, 0 );
27 +
28 + System.out.println( "BringFloaterToTop: " + pFloater.getTitle() );
29 + System.out.println(
30 + " X: " + pFloater.minPosLeft() + " <= " + pFloater.getPosLeft() + " + " + pFloater.getOffsetWidth() + " <? " + pFloater.maxPosLeft() );
31 + System.out
32 + .println( " Y: " + pFloater.minPosTop() + " <= " + pFloater.getPosTop() + " + " + pFloater.getOffsetHeight() + " <? " + pFloater.maxPosTop() );
33 + }
34 + }