litesoft
@ 947
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 |
// This Source Code is in the Public Domain per: http://unlicense.org package org.litesoft.GWT.client.widgets.nonpublic; import com.google.gwt.user.client.*; import com.google.gwt.user.client.ui.*; public interface ISizeableDimensionHelper extends IDimensionHelper { public boolean isStretchable(); public void setStretchable( boolean pNewValue ); public boolean setPrefferredDimension(); public boolean adjustSizeBy( int pDelta ); public void setDimension( int pDimension ); public int getDimension(); public int getDimensionMaxShrinkability(); public int getDecorationSize(); public void deligateSetDimensionFromWidget( int pDimension ); public void contentChangedResizeToParent(); public void distributeToChildrenChangedDimension(); public static final ISizeableDimensionHelper NULL = new ISizeableDimensionHelper() { public String getWhat() { return "NULL"; } public boolean isAdjustable() { return false; } public boolean isStretchable() { return false; } public void setStretchable( boolean pNewValue ) { } public boolean setPrefferredDimension() { return true; } public boolean adjustSizeBy( int pDelta ) { return true; } public void setDimension( int pDimension ) { } public void setDimension( Widget pWidget, int pDimension ) { } public int getDimension() { return 0; } public int getDimension( Widget pWidget ) { return 0; } public int getDimension( Element pElement ) { return 0; } public int getDimensionMaxShrinkability() { return 0; } public int getDecorationSize() { return 0; } public void deligateSetDimensionFromWidget( int pDimension ) { } public void contentChangedResizeToParent() { } public void distributeToChildrenChangedDimension() { } public int getPosition( Widget pWidget ) { return -1; } public int getPosition( Element pElement ) { return -1; } public void setStyleDimension( Element pElement, int pDimension ) { } }; } |