root/branches/0.2/controlexample/slidertab.d

/*******************************************************************************
 * Copyright (c) 2000, 2003 IBM Corporation and others.
 * All rights reserved. This program and the accompanying materials 
 * are made available under the terms of the Common Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/cpl-v10.html
 * 
 * Contributors:
 *     IBM Corporation - initial API and implementation
 *******************************************************************************/
module controlexample.slidertab;

private {
import swt.all;
import controlexample.tab;
import controlexample.rangetab;
import controlexample.controlexample;
}


class SliderTab : RangeTab {
    /* Example widgets and groups that contain them */
    Scale scale1;
    Slider slider1;
    Group sliderGroup, scaleGroup;

    /* Scale widgets added to the "Control" group */
    Scale incrementScale, pageIncrementScale, thumbScale;
    
    /**
     * Creates the Tab within a given instance_ren of ControlExample.
     */
    this(ControlExample instance_ren) {
        super(instance_ren);
    }

    /**
     * Creates the "Control" widget children.
     */
    void createControlWidgets () {
        super.createControlWidgets ();
        createThumbGroup ();
        createIncrementGroup ();
        createPageIncrementGroup ();
    }
    
    /**
     * Creates the "Example" group.
     */
    void createExampleGroup () {
        super.createExampleGroup ();
        
        /* Create a group for the slider */
        sliderGroup = new Group (exampleGroup, SWT.NONE);
        sliderGroup.setLayout (new GridLayout ());
        sliderGroup.setLayoutData (new GridData (GridData.GRAB_HORIZONTAL | GridData.HORIZONTAL_ALIGN_FILL | GridData.VERTICAL_ALIGN_FILL));
        sliderGroup.setText ("Slider");
    
        /* Create a group for the scale */
        scaleGroup = new Group (exampleGroup, SWT.NONE);
        scaleGroup.setLayout (new GridLayout ());
        scaleGroup.setLayoutData (new GridData (GridData.GRAB_HORIZONTAL | GridData.HORIZONTAL_ALIGN_FILL | GridData.VERTICAL_ALIGN_FILL));
        scaleGroup.setText ("Scale");
    
    }
    
    /**
     * Creates the "Example" widgets.
     */
    void createExampleWidgets () {
        
        /* Compute the widget style */
        int style = getDefaultStyle();
        if (horizontalButton.getSelection ()) style |= SWT.HORIZONTAL;
        if (verticalButton.getSelection ()) style |= SWT.VERTICAL;
        if (borderButton.getSelection ()) style |= SWT.BORDER;
    
        /* Create the example widgets */
        scale1 = new Scale (scaleGroup, style);
        scale1.setMaximum (100);
        scale1.setSelection (50);
        scale1.setIncrement (5);
        scale1.setPageIncrement (10);
        slider1 = new Slider(sliderGroup, style);
        slider1.setMaximum (100);
        slider1.setSelection (50);
        slider1.setIncrement(5);
        slider1.setPageIncrement (10);
        slider1.setThumb (10);
    }
    
    /**
     * Create a group of widgets to control the increment
     * attribute of the example widget.
     */
    void createIncrementGroup() {
    
        /* Create the group */
        Group incrementGroup = new Group (controlGroup, SWT.NONE);
        incrementGroup.setLayout (new GridLayout ());
        incrementGroup.setText (ControlExample.getResourceString("Increment"));
        incrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
    
        /* Create the scale widget */
        incrementScale = new Scale (incrementGroup, SWT.NONE);
        incrementScale.setMaximum (100);
        incrementScale.setSelection (5);
        incrementScale.setPageIncrement (10);
        incrementScale.setIncrement (5);

        GridData data = new GridData (GridData.FILL_HORIZONTAL);
        data.widthHint = 100;
        incrementScale.setLayoutData (data);
    
        /* Add the listeners */
        incrementScale.handleEvent(this, SWT.Selection, &setWidgetIncrement);
    }
    
    /**
     * Create a group of widgets to control the page increment
     * attribute of the example widget.
     */
    void createPageIncrementGroup() {
    
        /* Create the group */
        Group pageIncrementGroup = new Group (controlGroup, SWT.NONE);
        pageIncrementGroup.setLayout (new GridLayout ());
        pageIncrementGroup.setText (ControlExample.getResourceString("Page_Increment"));
        pageIncrementGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
            
        /* Create the scale widget */
        pageIncrementScale = new Scale (pageIncrementGroup, SWT.NONE);
        pageIncrementScale.setMaximum (100);
        pageIncrementScale.setSelection (10);
        pageIncrementScale.setPageIncrement (10);
        pageIncrementScale.setIncrement (5);
    
        GridData data = new GridData (GridData.FILL_HORIZONTAL);
        data.widthHint = 100;
        pageIncrementScale.setLayoutData (data);

        /* Add the listeners */
        pageIncrementScale.handleEvent(this, SWT.Selection, &setWidgetPageIncrement);
    }
    
    /**
     * Create a group of widgets to control the thumb
     * attribute of the example widget.
     */
    void createThumbGroup() {
    
        /* Create the group */
        Group thumbGroup = new Group (controlGroup, SWT.NONE);
        thumbGroup.setLayout (new GridLayout ());
        thumbGroup.setText (ControlExample.getResourceString("Thumb"));
        thumbGroup.setLayoutData (new GridData (GridData.FILL_HORIZONTAL));
        
        /* Create the scale widget */
        thumbScale = new Scale (thumbGroup, SWT.NONE);
        thumbScale.setMaximum (100);
        thumbScale.setSelection (10);
        thumbScale.setPageIncrement (10);
        thumbScale.setIncrement (5);
    
        GridData data = new GridData (GridData.FILL_HORIZONTAL);
        data.widthHint = 100;
        thumbScale.setLayoutData (data);

        /* Add the listeners */
        thumbScale.handleEvent(this, SWT.Selection, &setWidgetThumb);
    }
    
    /**
     * Gets the "Example" widget children.
     */
    Control [] getExampleWidgets () {
        Control[] result;
        result ~= scale1;
        result ~= slider1;
        return result;
    }
    
    /**
     * Gets the text for the tab folder item.
     */
    String getTabText () {
        return "Slider/Scale";
    }
    
    /**
     * Sets the state of the "Example" widgets.
     */
    void setExampleWidgetState () {
        super.setExampleWidgetState ();
        setWidgetIncrement ();
        setWidgetPageIncrement ();
        setWidgetThumb ();
    }
    
    /**
     * Sets the increment of the "Example" widgets.
     */
    void setWidgetIncrement () {
        slider1.setIncrement (incrementScale.getSelection ());
        scale1.setIncrement (incrementScale.getSelection ());
    }
    
    /**
     * Sets the minimim of the "Example" widgets.
     */
    void setWidgetMaximum () {
        slider1.setMaximum (maximumScale.getSelection ());
        scale1.setMaximum (maximumScale.getSelection ());
    }
    
    /**
     * Sets the minimim of the "Example" widgets.
     */
    void setWidgetMinimum () {
        slider1.setMinimum (minimumScale.getSelection ());
        scale1.setMinimum (minimumScale.getSelection ());
    }
    
    /**
     * Sets the page increment of the "Example" widgets.
     */
    void setWidgetPageIncrement () {
        slider1.setPageIncrement (pageIncrementScale.getSelection ());
        scale1.setPageIncrement (pageIncrementScale.getSelection ());
    }
    
    /**
     * Sets the selection of the "Example" widgets.
     */
    void setWidgetSelection () {
        slider1.setSelection (selectionScale.getSelection ());
        scale1.setSelection (selectionScale.getSelection ());
    }
    
    /**
     * Sets the thumb of the "Example" widgets.
     */
    void setWidgetThumb () {
        slider1.setThumb (thumbScale.getSelection ());
    }
}