/******************************************************************************* * Copyright (c) 2000, 2012 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at * http://www.eclipse.org/legal/epl-v10.html * * Contributors: * IBM Corporation - initial API and implementation *******************************************************************************/ package org.eclipse.swt.widgets; import org.eclipse.swt.*; import org.eclipse.swt.internal.gtk.*; import org.eclipse.swt.graphics.*; import org.eclipse.swt.events.*; /** * Instances of this class are selectable user interface * objects that represent a range of positive, numeric values. *

* At any given moment, a given scroll bar will have a * single 'selection' that is considered to be its * value, which is constrained to be within the range of * values the scroll bar represents (that is, between its * minimum and maximum values). *

* Typically, scroll bars will be made up of five areas: *

    *
  1. an arrow button for decrementing the value
    2. *
  2. a page decrement area for decrementing the value by a larger amount
    3. *
  3. a thumb for modifying the value by mouse dragging
    4. *
  4. a page increment area for incrementing the value by a larger amount
    5. *
  5. an arrow button for incrementing the value
    6. *
* Based on their style, scroll bars are either HORIZONTAL * (which have a left facing button for decrementing the value and a * right facing button for incrementing it) or VERTICAL * (which have an upward facing button for decrementing the value * and a downward facing buttons for incrementing it). *

* On some platforms, the size of the scroll bar's thumb can be * varied relative to the magnitude of the range of values it * represents (that is, relative to the difference between its * maximum and minimum values). Typically, this is used to * indicate some proportional value such as the ratio of the * visible area of a document to the total amount of space that * it would take to display it. SWT supports setting the thumb * size even if the underlying platform does not, but in this * case the appearance of the scroll bar will not change. *

* Scroll bars are created by specifying either H_SCROLL, * V_SCROLL or both when creating a Scrollable. * They are accessed from the Scrollable using * getHorizontalBar and getVerticalBar. *

* Note: Scroll bars are not Controls. On some platforms, scroll bars * that appear as part of some standard controls such as a text or list * have no operating system resources and are not children of the control. * For this reason, scroll bars are treated specially. To create a control * that looks like a scroll bar but has operating system resources, use * Slider. *

*
*
Styles:
*
HORIZONTAL, VERTICAL
*
Events:
*
Selection
*
*

* Note: Only one of the styles HORIZONTAL and VERTICAL may be specified. *

* IMPORTANT: This class is not intended to be subclassed. *

* * @see Slider * @see Scrollable * @see Scrollable#getHorizontalBar * @see Scrollable#getVerticalBar * @see SWT Example: ControlExample * @see Sample code and further information * @noextend This class is not intended to be subclassed by clients. */ public class ScrollBar extends Widget { Scrollable parent; int /*long*/ adjustmentHandle; int detail; boolean dragSent; ScrollBar () { } /** * Creates a new instance of the widget. */ ScrollBar (Scrollable parent, int style) { super (parent, checkStyle (style)); this.parent = parent; createWidget (0); } /** * Adds the listener to the collection of listeners who will * be notified when the user changes the receiver's value, by sending * it one of the messages defined in the SelectionListener * interface. *

* When widgetSelected is called, the event object detail field contains one of the following values: * SWT.NONE - for the end of a drag. * SWT.DRAG. * SWT.HOME. * SWT.END. * SWT.ARROW_DOWN. * SWT.ARROW_UP. * SWT.PAGE_DOWN. * SWT.PAGE_UP. * widgetDefaultSelected is not called. *

* * @param listener the listener which should be notified when the user changes the receiver's value * * @exception IllegalArgumentException * @exception SWTException * * @see SelectionListener * @see #removeSelectionListener * @see SelectionEvent */ public void addSelectionListener (SelectionListener listener) { checkWidget (); if (listener == null) error (SWT.ERROR_NULL_ARGUMENT); TypedListener typedListener = new TypedListener (listener); addListener (SWT.Selection,typedListener); addListener (SWT.DefaultSelection,typedListener); } static int checkStyle (int style) { return checkBits (style, SWT.HORIZONTAL, SWT.VERTICAL, 0, 0, 0, 0); } void deregister () { super.deregister (); if (adjustmentHandle != 0) display.removeWidget (adjustmentHandle); } void destroyHandle () { super.destroyWidget (); } void destroyWidget () { parent.destroyScrollBar (this); releaseHandle (); //parent.sendEvent (SWT.Resize); } /** * Returns true if the receiver is enabled, and * false otherwise. A disabled control is typically * not selectable from the user interface and draws with an * inactive or "grayed" look. * * @return the receiver's enabled state * * @exception SWTException * * @see #isEnabled */ public boolean getEnabled () { checkWidget (); if (handle != 0) return gtk_widget_get_sensitive (handle); return true; } /** * Returns the amount that the receiver's value will be * modified by when the up/down (or right/left) arrows * are pressed. * * @return the increment * * @exception SWTException */ public int getIncrement () { checkWidget (); GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); return (int) adjustment.step_increment; } /** * Returns the maximum value which the receiver will allow. * * @return the maximum * * @exception SWTException */ public int getMaximum () { checkWidget (); GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); return (int) adjustment.upper; } /** * Returns the minimum value which the receiver will allow. * * @return the minimum * * @exception SWTException */ public int getMinimum () { checkWidget (); GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); return (int) adjustment.lower; } /** * Returns the amount that the receiver's value will be * modified by when the page increment/decrement areas * are selected. * * @return the page increment * * @exception SWTException */ public int getPageIncrement () { checkWidget (); GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); return (int) adjustment.page_increment; } /** * Returns the receiver's parent, which must be a Scrollable. * * @return the receiver's parent * * @exception SWTException */ public Scrollable getParent () { checkWidget (); return parent; } /** * Returns the single 'selection' that is the receiver's value. * * @return the selection * * @exception SWTException */ public int getSelection () { checkWidget (); GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); return (int) adjustment.value; } /** * Returns a point describing the receiver's size. The * x coordinate of the result is the width of the receiver. * The y coordinate of the result is the height of the * receiver. * * @return the receiver's size * * @exception SWTException */ public Point getSize () { checkWidget (); if (handle == 0) return new Point (0,0); GtkRequisition requisition = new GtkRequisition (); OS.gtk_widget_size_request (handle, requisition); return new Point (requisition.width, requisition.height); } /** * Returns the receiver's thumb value. * * @return the thumb value * * @exception SWTException * * @see ScrollBar */ public int getThumb () { checkWidget (); GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); return (int) adjustment.page_size; } /** * Returns a rectangle describing the size and location of the * receiver's thumb relative to its parent. * * @return the thumb bounds, relative to the {@link #getParent() parent} * * @exception SWTException * * @since 3.6 */ public Rectangle getThumbBounds () { checkWidget(); int [] slider_start = new int [1], slider_end = new int [1]; gtk_range_get_slider_range (handle, slider_start, slider_end); int x, y, width, height; GtkAllocation allocation = new GtkAllocation (); if ((style & SWT.VERTICAL) != 0) { if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { OS.gtk_widget_get_allocation(handle, allocation); x = allocation.x; width = allocation.width; } else { x = OS.GTK_WIDGET_X (handle); width = OS.GTK_WIDGET_WIDTH (handle); } y = slider_start [0]; height = slider_end [0] - slider_start [0]; } else { x = slider_start [0]; if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { OS.gtk_widget_get_allocation(handle, allocation); y = allocation.y; height = allocation.height; } else { y = OS.GTK_WIDGET_Y (handle); height = OS.GTK_WIDGET_HEIGHT (handle); } width = slider_end [0] - slider_start [0]; } Rectangle rect = new Rectangle(x, y, width, height); int [] origin_x = new int [1], origin_y = new int [1]; int /*long*/ window = gtk_widget_get_window (parent.scrolledHandle); if (window != 0) OS.gdk_window_get_origin (window, origin_x, origin_y); rect.x += origin_x [0]; rect.y += origin_y [0]; window = gtk_widget_get_window (parent.handle); if (window != 0) OS.gdk_window_get_origin (window, origin_x, origin_y); rect.x -= origin_x [0]; rect.y -= origin_y [0]; return rect; } /** * Returns a rectangle describing the size and location of the * receiver's thumb track relative to its parent. This rectangle * comprises the areas 2, 3, and 4 as described in {@link ScrollBar}. * * @return the thumb track bounds, relative to the {@link #getParent() parent} * * @exception SWTException * * @since 3.6 */ public Rectangle getThumbTrackBounds () { checkWidget(); int x = 0, y = 0, width, height; int[] has_stepper = new int[1]; OS.gtk_widget_style_get (handle, OS.has_backward_stepper, has_stepper, 0); boolean hasA = has_stepper[0] != 0; OS.gtk_widget_style_get (handle, OS.has_secondary_backward_stepper, has_stepper, 0); boolean hasB = has_stepper[0] != 0; OS.gtk_widget_style_get (handle, OS.has_forward_stepper, has_stepper, 0); boolean hasC = has_stepper[0] != 0; OS.gtk_widget_style_get (handle, OS.has_secondary_forward_stepper, has_stepper, 0); boolean hasD = has_stepper[0] != 0; GtkAllocation allocation = new GtkAllocation (); int stepperSize = 0; if ((style & SWT.VERTICAL) != 0) { if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { OS.gtk_widget_get_allocation(handle, allocation); stepperSize = allocation.width; x = allocation.x; } else { stepperSize = OS.GTK_WIDGET_WIDTH (handle); x = OS.GTK_WIDGET_X (handle); } if (hasA) y += stepperSize; if (hasB) y += stepperSize; if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { width = allocation.width; height = allocation.height - y; } else { width = OS.GTK_WIDGET_WIDTH (handle); height = OS.GTK_WIDGET_HEIGHT (handle) - y; } if (hasC) height -= stepperSize; if (hasD) height -= stepperSize; if (height < 0) { int [] slider_start = new int [1], slider_end = new int [1]; gtk_range_get_slider_range (handle, slider_start, slider_end); y = slider_start [0]; height = 0; } } else { if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { OS.gtk_widget_get_allocation(handle, allocation); stepperSize = allocation.height; } else { stepperSize = OS.GTK_WIDGET_HEIGHT (handle); } if (hasA) x += stepperSize; if (hasB) x += stepperSize; if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { y = allocation.y; width = allocation.width -x; } else { y = OS.GTK_WIDGET_Y (handle); width = OS.GTK_WIDGET_WIDTH (handle) - x; } if (hasC) width -= stepperSize; if (hasD) width -= stepperSize; if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { height = allocation.height; } else { height = OS.GTK_WIDGET_HEIGHT (handle); } if (width < 0) { int [] slider_start = new int [1], slider_end = new int [1]; gtk_range_get_slider_range (handle, slider_start, slider_end); x = slider_start [0]; width = 0; } } Rectangle rect = new Rectangle(x, y, width, height); int [] origin_x = new int [1], origin_y = new int [1]; int /*long*/ window = gtk_widget_get_window (parent.scrolledHandle); if (window != 0) OS.gdk_window_get_origin (window, origin_x, origin_y); rect.x += origin_x [0]; rect.y += origin_y [0]; window = gtk_widget_get_window (parent.handle); if (window != 0) OS.gdk_window_get_origin (window, origin_x, origin_y); rect.x -= origin_x [0]; rect.y -= origin_y [0]; return rect; } /** * Returns true if the receiver is visible, and * false otherwise. *

* If one of the receiver's ancestors is not visible or some * other condition makes the receiver not visible, this method * may still indicate that it is considered visible even though * it may not actually be showing. *

* * @return the receiver's visibility state * * @exception SWTException */ public boolean getVisible () { checkWidget (); int /*long*/ scrolledHandle = parent.scrolledHandle; int [] hsp = new int [1], vsp = new int [1]; OS.gtk_scrolled_window_get_policy (scrolledHandle, hsp, vsp); if ((style & SWT.HORIZONTAL) != 0) { return hsp [0] != OS.GTK_POLICY_NEVER && gtk_widget_get_visible (handle); } else { return vsp [0] != OS.GTK_POLICY_NEVER && gtk_widget_get_visible (handle); } } int /*long*/ gtk_button_press_event (int /*long*/ widget, int /*long*/ eventPtr) { int /*long*/ result = super.gtk_button_press_event (widget, eventPtr); if (result != 0) return result; detail = OS.GTK_SCROLL_NONE; dragSent = false; return result; } int /*long*/ gtk_change_value (int /*long*/ widget, int /*long*/ scroll, int /*long*/ value1, int /*long*/ value2) { detail = (int)/*64*/scroll; return 0; } void gtk_range_get_slider_range (int /*long*/ widget, int [] slider_start, int [] slider_end) { if (OS.GTK_VERSION >= OS.VERSION (2, 20, 0)) { OS.gtk_range_get_slider_range (widget, slider_start, slider_end); } else { slider_start [0] = OS.GTK_RANGE_SLIDER_START (widget); slider_end [0] = OS.GTK_RANGE_SLIDER_END (widget); } } int /*long*/ gtk_value_changed (int /*long*/ adjustment) { Event event = new Event (); dragSent = detail == OS.GTK_SCROLL_JUMP; switch (detail) { case OS.GTK_SCROLL_NONE: event.detail = SWT.NONE; break; case OS.GTK_SCROLL_JUMP: event.detail = SWT.DRAG; break; case OS.GTK_SCROLL_START: event.detail = SWT.HOME; break; case OS.GTK_SCROLL_END: event.detail = SWT.END; break; case OS.GTK_SCROLL_PAGE_DOWN: case OS.GTK_SCROLL_PAGE_RIGHT: case OS.GTK_SCROLL_PAGE_FORWARD: event.detail = SWT.PAGE_DOWN; break; case OS.GTK_SCROLL_PAGE_UP: case OS.GTK_SCROLL_PAGE_LEFT: case OS.GTK_SCROLL_PAGE_BACKWARD: event.detail = SWT.PAGE_UP; break; case OS.GTK_SCROLL_STEP_DOWN: case OS.GTK_SCROLL_STEP_RIGHT: case OS.GTK_SCROLL_STEP_FORWARD: event.detail = SWT.ARROW_DOWN; break; case OS.GTK_SCROLL_STEP_UP: case OS.GTK_SCROLL_STEP_LEFT: case OS.GTK_SCROLL_STEP_BACKWARD: event.detail = SWT.ARROW_UP; break; } if (!dragSent) detail = OS.GTK_SCROLL_NONE; sendSelectionEvent (SWT.Selection, event, false); parent.updateScrollBarValue (this); return 0; } int /*long*/ gtk_event_after (int /*long*/ widget, int /*long*/ gdkEvent) { GdkEvent gtkEvent = new GdkEvent (); OS.memmove (gtkEvent, gdkEvent, GdkEvent.sizeof); switch (gtkEvent.type) { case OS.GDK_BUTTON_RELEASE: { GdkEventButton gdkEventButton = new GdkEventButton (); OS.memmove (gdkEventButton, gdkEvent, GdkEventButton.sizeof); if (gdkEventButton.button == 1 && detail == OS.GTK_SCROLL_JUMP) { if (!dragSent) { Event event = new Event (); event.detail = SWT.DRAG; sendSelectionEvent (SWT.Selection, event, false); } sendSelectionEvent (SWT.Selection); } detail = OS.GTK_SCROLL_NONE; dragSent = false; break; } } return super.gtk_event_after (widget, gdkEvent); } void hookEvents () { super.hookEvents (); if (OS.GTK_VERSION >= OS.VERSION (2, 6, 0)) { OS.g_signal_connect_closure (handle, OS.change_value, display.closures [CHANGE_VALUE], false); } OS.g_signal_connect_closure (adjustmentHandle, OS.value_changed, display.closures [VALUE_CHANGED], false); OS.g_signal_connect_closure_by_id (handle, display.signalIds [EVENT_AFTER], 0, display.closures [EVENT_AFTER], false); OS.g_signal_connect_closure_by_id (handle, display.signalIds [BUTTON_PRESS_EVENT], 0, display.closures [BUTTON_PRESS_EVENT], false); } /** * Returns true if the receiver is enabled and all * of the receiver's ancestors are enabled, and false * otherwise. A disabled control is typically not selectable from the * user interface and draws with an inactive or "grayed" look. * * @return the receiver's enabled state * * @exception SWTException * * @see #getEnabled */ public boolean isEnabled () { checkWidget (); return getEnabled () && getParent ().getEnabled (); } /** * Returns true if the receiver is visible and all * of the receiver's ancestors are visible and false * otherwise. * * @return the receiver's visibility state * * @exception SWTException * * @see #getVisible */ public boolean isVisible () { checkWidget (); return getVisible () && getParent ().isVisible (); } void register () { super.register (); if (adjustmentHandle != 0) display.addWidget (adjustmentHandle, this); } void releaseHandle () { super.releaseHandle (); parent = null; } void releaseParent () { super.releaseParent (); if (parent.horizontalBar == this) parent.horizontalBar = null; if (parent.verticalBar == this) parent.verticalBar = null; } void releaseWidget () { super.releaseWidget (); //parent = null; } /** * Removes the listener from the collection of listeners who will * be notified when the user changes the receiver's value. * * @param listener the listener which should no longer be notified * * @exception IllegalArgumentException * @exception SWTException * * @see SelectionListener * @see #addSelectionListener */ public void removeSelectionListener (SelectionListener listener) { checkWidget (); if (listener == null) error (SWT.ERROR_NULL_ARGUMENT); if (eventTable == null) return; eventTable.unhook (SWT.Selection, listener); eventTable.unhook (SWT.DefaultSelection,listener); } /** * Enables the receiver if the argument is true, * and disables it otherwise. A disabled control is typically * not selectable from the user interface and draws with an * inactive or "grayed" look. * * @param enabled the new enabled state * * @exception SWTException */ public void setEnabled (boolean enabled) { checkWidget (); if (handle != 0) OS.gtk_widget_set_sensitive (handle, enabled); } /** * Sets the amount that the receiver's value will be * modified by when the up/down (or right/left) arrows * are pressed to the argument, which must be at least * one. * * @param value the new increment (must be greater than zero) * * @exception SWTException */ public void setIncrement (int value) { checkWidget (); if (value < 1) return; GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); adjustment.step_increment = (float) value; OS.memmove (adjustmentHandle, adjustment); OS.g_signal_handlers_block_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_adjustment_changed (adjustmentHandle); OS.g_signal_handlers_unblock_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); } /** * Sets the maximum. If this value is negative or less than or * equal to the minimum, the value is ignored. If necessary, first * the thumb and then the selection are adjusted to fit within the * new range. * * @param value the new maximum * * @exception SWTException */ public void setMaximum (int value) { checkWidget (); GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); int minimum = (int) adjustment.lower; if (value <= minimum) return; adjustment.upper = value; adjustment.page_size = Math.min ((int)adjustment.page_size, value - minimum); adjustment.value = Math.min ((int)adjustment.value, (int)(value - adjustment.page_size)); OS.memmove (adjustmentHandle, adjustment); OS.g_signal_handlers_block_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_adjustment_changed (adjustmentHandle); OS.g_signal_handlers_unblock_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); } /** * Sets the minimum value. If this value is negative or greater * than or equal to the maximum, the value is ignored. If necessary, * first the thumb and then the selection are adjusted to fit within * the new range. * * @param value the new minimum * * @exception SWTException */ public void setMinimum (int value) { checkWidget (); if (value < 0) return; GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); int maximum = (int) adjustment.upper; if (value >= maximum) return; adjustment.lower = value; adjustment.page_size = Math.min ((int)adjustment.page_size, maximum - value); adjustment.value = Math.max ((int)adjustment.value, value); OS.memmove (adjustmentHandle, adjustment); OS.g_signal_handlers_block_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_adjustment_changed (adjustmentHandle); OS.g_signal_handlers_unblock_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); } void setOrientation (boolean create) { super.setOrientation (create); if ((parent.style & SWT.MIRRORED) != 0 || !create) { if ((parent.state & CANVAS) != 0) { if ((style & SWT.HORIZONTAL) != 0) { OS.gtk_range_set_inverted (handle, (parent.style & SWT.RIGHT_TO_LEFT) != 0); } } } } /** * Sets the amount that the receiver's value will be * modified by when the page increment/decrement areas * are selected to the argument, which must be at least * one. * * @param value the page increment (must be greater than zero) * * @exception SWTException */ public void setPageIncrement (int value) { checkWidget (); if (value < 1) return; GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); adjustment.page_increment = (float) value; OS.memmove (adjustmentHandle, adjustment); OS.g_signal_handlers_block_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_adjustment_changed (adjustmentHandle); OS.g_signal_handlers_unblock_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); } /** * Sets the single selection that is the receiver's * value to the argument which must be greater than or equal * to zero. * * @param selection the new selection (must be zero or greater) * * @exception SWTException */ public void setSelection (int selection) { checkWidget (); selection = Math.min (selection, getMaximum() - getThumb()); OS.g_signal_handlers_block_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_adjustment_set_value (adjustmentHandle, selection); OS.g_signal_handlers_unblock_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); } /** * Sets the thumb value. The thumb value should be used to represent * the size of the visual portion of the current range. This value is * usually the same as the page increment value. *

* This new value will be ignored if it is less than one, and will be * clamped if it exceeds the receiver's current range. *

* * @param value the new thumb value, which must be at least one and not * larger than the size of the current range * * @exception SWTException */ public void setThumb (int value) { checkWidget (); if (value < 1) return; GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); value = (int) Math.min (value, (int)(adjustment.upper - adjustment.lower)); adjustment.page_size = (double) value; adjustment.value = Math.min ((int)adjustment.value, (int)(adjustment.upper - value)); OS.memmove (adjustmentHandle, adjustment); OS.g_signal_handlers_block_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_adjustment_changed (adjustmentHandle); OS.g_signal_handlers_unblock_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); } /** * Sets the receiver's selection, minimum value, maximum * value, thumb, increment and page increment all at once. *

* Note: This is similar to setting the values individually * using the appropriate methods, but may be implemented in a * more efficient fashion on some platforms. *

* * @param selection the new selection value * @param minimum the new minimum value * @param maximum the new maximum value * @param thumb the new thumb value * @param increment the new increment value * @param pageIncrement the new pageIncrement value * * @exception SWTException */ public void setValues (int selection, int minimum, int maximum, int thumb, int increment, int pageIncrement) { checkWidget (); if (minimum < 0) return; if (maximum < 0) return; if (thumb < 1) return; if (increment < 1) return; if (pageIncrement < 1) return; thumb = Math.min (thumb, maximum - minimum); GtkAdjustment adjustment = new GtkAdjustment (); OS.memmove (adjustment, adjustmentHandle); adjustment.lower = minimum; adjustment.upper = maximum; adjustment.step_increment = increment; adjustment.page_increment = pageIncrement; adjustment.page_size = thumb; adjustment.value = Math.min (Math.max (selection, minimum), maximum - thumb); OS.memmove (adjustmentHandle, adjustment); OS.g_signal_handlers_block_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); OS.gtk_adjustment_changed (adjustmentHandle); OS.gtk_adjustment_value_changed (adjustmentHandle); OS.g_signal_handlers_unblock_matched (adjustmentHandle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, VALUE_CHANGED); } /** * Marks the receiver as visible if the argument is true, * and marks it invisible otherwise. *

* If one of the receiver's ancestors is not visible or some * other condition makes the receiver not visible, marking * it visible may not actually cause it to be displayed. *

* * @param visible the new visibility state * * @exception SWTException */ public void setVisible (boolean visible) { checkWidget (); if (parent.setScrollBarVisible (this, visible)) { sendEvent (visible ? SWT.Show : SWT.Hide); parent.sendEvent (SWT.Resize); } } }