Exemple #1
0
 public void setWidth(int w)
 {
     if (w >= 0)
     {
         if (widthType == DimensionParameters.FILL)
         {
             preferredWidth = w;
         }
         else
         {
             preferredWidth = w;
             widthType      = DimensionParameters.FIXED;
         }
     }
 }
Exemple #2
0
        public void setWidthType(DimensionParameters wType)
        {
            /* TODO: modifier lorsque nouvelle valeur */
            widthType = wType;

            switch (widthType)
            {
            case DimensionParameters.AUTO:
                break;

            case DimensionParameters.FILL:
                /* TODO */
                //((FrameworkElement)this.getComponent()).Width = double.NaN;
                break;

            case DimensionParameters.FIXED:
                break;
            }
        }
Exemple #3
0
 public void setHeightType(DimensionParameters hType)
 {
     heightType = hType;
 }
Exemple #4
0
        public void setWidthType(DimensionParameters wType)
        {
            /* TODO: modifier lorsque nouvelle valeur */
                widthType = wType;

                switch (widthType)
                {
                    case DimensionParameters.AUTO:
                        break;

                    case DimensionParameters.FILL:
                        /* TODO */
                        //((FrameworkElement)this.getComponent()).Width = double.NaN;
                        break;

                    case DimensionParameters.FIXED:
                        break;
                }
        }
Exemple #5
0
 public void setWidth(int w)
 {
     if (w >= 0)
     {
         if (widthType == DimensionParameters.FILL)
         {
             preferredWidth = w;
         }
         else
         {
             preferredWidth = w;
             widthType = DimensionParameters.FIXED;
         }
     }
 }
Exemple #6
0
 public void setHeightType(DimensionParameters hType)
 {
     heightType = hType;
 }