X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.eclipse.swt.win32.win32.x86_64%2Fsrc%2Forg%2Feclipse%2Fswt%2Fwidgets%2FScrollBar.java;fp=bundles%2Forg.eclipse.swt.win32.win32.x86_64%2Fsrc%2Forg%2Feclipse%2Fswt%2Fwidgets%2FScrollBar.java;h=769bcf010db1e275633fd8021e35b4201233483c;hb=6b98970d0458754dd67f789afbd0a39e1e7ac6eb;hp=0000000000000000000000000000000000000000;hpb=56a61575ce0d27b340cb12438c8a7f303842095e;p=simantics%2Fplatform.git diff --git a/bundles/org.eclipse.swt.win32.win32.x86_64/src/org/eclipse/swt/widgets/ScrollBar.java b/bundles/org.eclipse.swt.win32.win32.x86_64/src/org/eclipse/swt/widgets/ScrollBar.java new file mode 100644 index 000000000..769bcf010 --- /dev/null +++ b/bundles/org.eclipse.swt.win32.win32.x86_64/src/org/eclipse/swt/widgets/ScrollBar.java @@ -0,0 +1,1008 @@ +/******************************************************************************* + * Copyright (c) 2000, 2013 IBM Corporation and others. + * + * This program and the accompanying materials + * are made available under the terms of the Eclipse Public License 2.0 + * which accompanies this distribution, and is available at + * https://www.eclipse.org/legal/epl-2.0/ + * + * SPDX-License-Identifier: EPL-2.0 + * + * Contributors: + * IBM Corporation - initial API and implementation + *******************************************************************************/ +package org.eclipse.swt.widgets; + + +import org.eclipse.swt.*; +import org.eclipse.swt.events.*; +import org.eclipse.swt.graphics.*; +import org.eclipse.swt.internal.*; +import org.eclipse.swt.internal.win32.*; + +/** + * 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 increment, pageIncrement; + +/** + * Constructs a new instance of this class given its parent + * and a style value describing its behavior and appearance. + *

+ * The style value is either one of the style constants defined in + * class SWT which is applicable to instances of this + * class, or must be built by bitwise OR'ing together + * (that is, using the int "|" operator) two or more + * of those SWT style constants. The class description + * lists the style constants that are applicable to the class. + * Style bits are also inherited from superclasses. + *

+ * + * @param parent a composite control which will be the parent of the new instance (cannot be null) + * @param style the style of control to construct + * + * @exception IllegalArgumentException + * @exception SWTException + * + * @see SWT#HORIZONTAL + * @see SWT#VERTICAL + * @see Widget#checkSubclass + * @see Widget#getStyle + */ +ScrollBar (Scrollable parent, int style) { + super (parent, checkStyle (style)); + this.parent = parent; + createWidget (); +} + +/** + * 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 createWidget () { + increment = 1; + pageIncrement = 10; + /* + * Do not set the initial values of the maximum + * or the thumb. These values normally default + * to 100 and 10 but may have been set already + * by the widget that owns the scroll bar. For + * example, a scroll bar that is created for a + * list widget, setting these defaults would + * override the initial values provided by the + * list widget. + */ +} + +@Override +void destroyWidget () { + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + OS.ShowScrollBar (hwnd, type, false); + parent.destroyScrollBar (style); + releaseHandle (); + //This code is intentionally commented + //parent.sendEvent (SWT.Resize); +} + +Rectangle getBounds () { +// checkWidget (); + parent.forceResize (); + RECT rect = new RECT (); + OS.GetClientRect (parent.scrolledHandle (), rect); + int x = 0, y = 0, width, height; + if ((style & SWT.HORIZONTAL) != 0) { + y = rect.bottom - rect.top; + width = rect.right - rect.left; + height = OS.GetSystemMetrics (OS.SM_CYHSCROLL); + } else { + x = rect.right - rect.left; + width = OS.GetSystemMetrics (OS.SM_CXVSCROLL); + height = rect.bottom - rect.top; + } + return new Rectangle (x, y, width, height); +} + +/** + * 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(); + return (state & DISABLED) == 0; +} + +/** + * 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(); + return increment; +} + +/** + * Returns the maximum value which the receiver will allow. + * + * @return the maximum + * + * @exception SWTException + */ +public int getMaximum () { + checkWidget(); + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + info.fMask = OS.SIF_RANGE; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + OS.GetScrollInfo (hwnd, type, info); + return info.nMax; +} + +/** + * Returns the minimum value which the receiver will allow. + * + * @return the minimum + * + * @exception SWTException + */ +public int getMinimum () { + checkWidget(); + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + info.fMask = OS.SIF_RANGE; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + OS.GetScrollInfo (hwnd, type, info); + return info.nMin; +} + +/** + * 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(); + return pageIncrement; +} + +/** + * 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(); + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + info.fMask = OS.SIF_POS; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + OS.GetScrollInfo (hwnd, type, info); + return info.nPos; +} + +/** + * 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(); + return DPIUtil.autoScaleDown(getSizeInPixels()); +} + +Point getSizeInPixels () { + parent.forceResize (); + RECT rect = new RECT (); + OS.GetClientRect (parent.scrolledHandle (), rect); + int width, height; + if ((style & SWT.HORIZONTAL) != 0) { + width = rect.right - rect.left; + height = OS.GetSystemMetrics (OS.SM_CYHSCROLL); + } else { + width = OS.GetSystemMetrics (OS.SM_CXVSCROLL); + height = rect.bottom - rect.top; + } + return new Point (width, height); +} + +/** + * Returns the receiver's thumb value. + * + * @return the thumb value + * + * @exception SWTException + * + * @see ScrollBar + */ +public int getThumb () { + checkWidget(); + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + info.fMask = OS.SIF_PAGE; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + OS.GetScrollInfo (hwnd, type, info); + if (info.nPage != 0) --info.nPage; + return info.nPage; +} + +/** + * 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(); + return DPIUtil.autoScaleDown(getThumbBoundsInPixels()); +} + +Rectangle getThumbBoundsInPixels () { + parent.forceResize (); + SCROLLBARINFO info = new SCROLLBARINFO(); + info.cbSize = SCROLLBARINFO.sizeof; + int x, y, width, height; + if ((style & SWT.HORIZONTAL) != 0) { + OS.GetScrollBarInfo(parent.handle, OS.OBJID_HSCROLL, info); + x = info.rcScrollBar.left + info.xyThumbTop; + y = info.rcScrollBar.top; + width = info.xyThumbBottom - info.xyThumbTop; + height = info.rcScrollBar.bottom - info.rcScrollBar.top; + } else { + OS.GetScrollBarInfo(parent.handle, OS.OBJID_VSCROLL, info); + x = info.rcScrollBar.left; + y = info.rcScrollBar.top + info.xyThumbTop; + width = info.rcScrollBar.right - info.rcScrollBar.left; + height = info.xyThumbBottom - info.xyThumbTop; + } + RECT rect = new RECT (); + rect.left = x; + rect.top = y; + rect.right = x + width; + rect.bottom = y + height; + OS.MapWindowPoints (0, parent.handle, rect, 2); + return new Rectangle(rect.left, rect.top, rect.right - rect.left, rect.bottom - rect.top); +} + +/** + * 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(); + return DPIUtil.autoScaleDown(getThumbTrackBoundsInPixels()); +} + +Rectangle getThumbTrackBoundsInPixels () { + parent.forceResize (); + SCROLLBARINFO info = new SCROLLBARINFO(); + info.cbSize = SCROLLBARINFO.sizeof; + int x = 0, y = 0, width, height; + if ((style & SWT.HORIZONTAL) != 0) { + OS.GetScrollBarInfo(parent.handle, OS.OBJID_HSCROLL, info); + int size = OS.GetSystemMetrics (OS.SM_CYHSCROLL); + y = info.rcScrollBar.top; + width = info.rcScrollBar.right - info.rcScrollBar.left; + height = size; + if (width <= 2 * size) { + x = info.rcScrollBar.left + width / 2; + width = 0; + } else { + x = info.rcScrollBar.left + size; + width -= 2 * size; + } + } else { + OS.GetScrollBarInfo(parent.handle, OS.OBJID_VSCROLL, info); + int size = OS.GetSystemMetrics (OS.SM_CYVSCROLL); + x = info.rcScrollBar.left; + width = size; + height = info.rcScrollBar.bottom - info.rcScrollBar.top; + if (height <= 2 * size) { + y = info.rcScrollBar.top + height / 2; + height = 0; + } else { + y = info.rcScrollBar.top + size; + height -= 2 * size; + } + } + RECT rect = new RECT (); + rect.left = x; + rect.top = y; + rect.right = x + width; + rect.bottom = y + height; + OS.MapWindowPoints (0, parent.handle, rect, 2); + return new Rectangle(rect.left, rect.top, rect.right - rect.left, rect.bottom - rect.top); +} + +/** + * 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(); + SCROLLBARINFO psbi = new SCROLLBARINFO (); + psbi.cbSize = SCROLLBARINFO.sizeof; + int idObject = (style & SWT.VERTICAL) != 0 ? OS.OBJID_VSCROLL : OS.OBJID_HSCROLL; + OS.GetScrollBarInfo (hwndScrollBar (), idObject, psbi); + return (psbi.rgstate [0] & OS.STATE_SYSTEM_INVISIBLE) == 0; +} + +long hwndScrollBar () { + return parent.scrolledHandle (); +} + +/** + * 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 () && parent.isEnabled (); +} + +/** + * 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 () && parent.isVisible (); +} + +@Override +void releaseHandle () { + super.releaseHandle (); + parent = null; +} + +@Override +void releaseParent () { + super.releaseParent (); + if (parent.horizontalBar == this) parent.horizontalBar = null; + if (parent.verticalBar == this) parent.verticalBar = 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); +} + +int scrollBarType () { + return (style & SWT.VERTICAL) != 0 ? OS.SB_VERT : OS.SB_HORZ; +} + +/** + * 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(); + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + int flags = enabled ? OS.ESB_ENABLE_BOTH : OS.ESB_DISABLE_BOTH; + OS.EnableScrollBar (hwnd, type, flags); + if (enabled) { + state &= ~DISABLED; + } else { + state |= DISABLED; + } +} + +/** + * 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; + increment = value; +} + +/** + * 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(); + if (value < 0) return; + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + info.fMask = OS.SIF_RANGE | OS.SIF_DISABLENOSCROLL; + OS.GetScrollInfo (hwnd, type, info); + if (value - info.nMin - info.nPage < 1) return; + info.nMax = value; + SetScrollInfo (hwnd, type, info, true); +} + +/** + * 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; + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + info.fMask = OS.SIF_RANGE | OS.SIF_DISABLENOSCROLL; + OS.GetScrollInfo (hwnd, type, info); + if (info.nMax - value - info.nPage < 1) return; + info.nMin = value; + SetScrollInfo (hwnd, type, info, true); +} + +/** + * 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; + pageIncrement = value; +} + +boolean SetScrollInfo (long hwnd, int flags, SCROLLINFO info, boolean fRedraw) { + /* + * Bug in Windows. For some reason, when SetScrollInfo() + * is used with SIF_POS and the scroll bar is hidden, + * the opposite scroll bar is incorrectly made visible + * so that the next time the parent is resized (or another + * scroll bar operation is performed), the opposite scroll + * bar draws. The fix is to hide both scroll bars. + */ + boolean barVisible = false; + boolean visible = getVisible (); + + ScrollBar bar = null; + switch (flags) { + case OS.SB_HORZ: + bar = parent.getVerticalBar (); + break; + case OS.SB_VERT: + bar = parent.getHorizontalBar (); + break; + } + barVisible = bar != null && bar.getVisible (); + if (!visible || (state & DISABLED) != 0) fRedraw = false; + boolean result = OS.SetScrollInfo (hwnd, flags, info, fRedraw); + + /* + * Bug in Windows. For some reason, when the widget + * is a standard scroll bar, and SetScrollInfo() is + * called with SIF_RANGE or SIF_PAGE, the widget is + * incorrectly made visible so that the next time the + * parent is resized (or another scroll bar operation + * is performed), the scroll bar draws. The fix is + * to hide the scroll bar (again) when already hidden. + */ + if (!visible) { + OS.ShowScrollBar (hwnd, !barVisible ? OS.SB_BOTH : flags, false); + } + + /* + * Bug in Windows. When only one scroll bar is visible, + * and the thumb changes using SIF_RANGE or SIF_PAGE + * from being visible to hidden, the opposite scroll + * bar is incorrectly made visible. The next time the + * parent is resized (or another scroll bar operation + * is performed), the opposite scroll bar draws. The + * fix is to hide the opposite scroll bar again. + * + * NOTE: This problem only happens on Vista + */ + if (visible && bar != null && !barVisible) { + OS.ShowScrollBar (hwnd, flags == OS.SB_HORZ ? OS.SB_VERT : OS.SB_HORZ, false); + } + + /* + * Feature in Windows. Using SIF_DISABLENOSCROLL, + * SetScrollInfo () can change enabled and disabled + * state of the scroll bar causing a scroll bar that + * was disabled by the application to become enabled. + * The fix is to disable the scroll bar (again) when + * the application has disabled the scroll bar. + */ + if ((state & DISABLED) != 0) { + OS.EnableScrollBar (hwnd, flags, OS.ESB_DISABLE_BOTH); + } + return result; +} + +/** + * 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(); + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + info.fMask = OS.SIF_POS; + info.nPos = selection; + SetScrollInfo (hwnd, type, info, true); +} + +/** + * 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; + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + info.fMask = OS.SIF_PAGE | OS.SIF_RANGE | OS.SIF_DISABLENOSCROLL; + OS.GetScrollInfo (hwnd, type, info); + info.nPage = value; + if (info.nPage != 0) info.nPage++; + SetScrollInfo (hwnd, type, info, true); +} + +/** + * 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; + this.increment = increment; + this.pageIncrement = pageIncrement; + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + info.fMask = OS.SIF_POS | OS.SIF_PAGE | OS.SIF_RANGE | OS.SIF_DISABLENOSCROLL; + info.nPos = selection; + info.nMin = minimum; + info.nMax = maximum; + info.nPage = thumb; + if (info.nPage != 0) info.nPage++; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + SetScrollInfo (hwnd, type, info, true); +} + +/** + * 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 (visible == getVisible ()) return; + /* + * Set the state bits before calling ShowScrollBar () + * because hiding and showing the scroll bar can cause + * WM_SIZE messages when the client area is resized. + * Setting the state before the call means that code + * that runs during WM_SIZE that queries the visibility + * of the scroll bar will get the correct value. + */ + state = visible ? state & ~HIDDEN : state | HIDDEN; + long hwnd = hwndScrollBar (); + int type = scrollBarType (); + /* + * Bug in Windows 7. Windows will cause pixel corruption + * when there is only one scroll bar visible and it is + * hidden. The fix is to temporarily show the other scroll + * bar and hide both. + */ + if (!visible) { + if (OS.IsAppThemed ()) { + SCROLLBARINFO psbi = new SCROLLBARINFO (); + psbi.cbSize = SCROLLBARINFO.sizeof; + int idObject = (style & SWT.VERTICAL) != 0 ? OS.OBJID_HSCROLL : OS.OBJID_VSCROLL; + OS.GetScrollBarInfo (hwnd, idObject, psbi); + if ((psbi.rgstate [0] & OS.STATE_SYSTEM_INVISIBLE) != 0) { + OS.ShowScrollBar (hwnd, type == OS.SB_VERT ? OS.SB_HORZ : OS.SB_VERT, true); + type = OS.SB_BOTH; + } + } + } + if (OS.ShowScrollBar (hwnd, type, visible)) { + /* + * Bug in Windows. For some reason, when the widget + * is a standard scroll bar, and SetScrollInfo () is + * called with SIF_RANGE or SIF_PAGE while the widget + * is not visible, the widget is incorrectly disabled + * even though the values for SIF_RANGE and SIF_PAGE, + * when set for a visible scroll bar would not disable + * the scroll bar. The fix is to enable the scroll bar + * when not disabled by the application and the current + * scroll bar ranges would cause the scroll bar to be + * enabled had they been set when the scroll bar was + * visible. + */ + if ((state & DISABLED) == 0) { + SCROLLINFO info = new SCROLLINFO (); + info.cbSize = SCROLLINFO.sizeof; + info.fMask = OS.SIF_RANGE | OS.SIF_PAGE; + OS.GetScrollInfo (hwnd, type, info); + if (info.nMax - info.nMin - info.nPage >= 0) { + OS.EnableScrollBar (hwnd, type, OS.ESB_ENABLE_BOTH); + } + } + sendEvent (visible ? SWT.Show : SWT.Hide); + // widget could be disposed at this point + } +} + +LRESULT wmScrollChild (long wParam, long lParam) { + + /* Do nothing when scrolling is ending */ + int code = OS.LOWORD (wParam); + if (code == OS.SB_ENDSCROLL) return null; + + /* + * Send the event because WM_HSCROLL and + * WM_VSCROLL are sent from a modal message + * loop in Windows that is active when the + * user is scrolling. + */ + Event event = new Event (); + switch (code) { + case OS.SB_THUMBPOSITION: event.detail = SWT.NONE; break; + case OS.SB_THUMBTRACK: event.detail = SWT.DRAG; break; + case OS.SB_TOP: event.detail = SWT.HOME; break; + case OS.SB_BOTTOM: event.detail = SWT.END; break; + case OS.SB_LINEDOWN: event.detail = SWT.ARROW_DOWN; break; + case OS.SB_LINEUP: event.detail = SWT.ARROW_UP; break; + case OS.SB_PAGEDOWN: event.detail = SWT.PAGE_DOWN; break; + case OS.SB_PAGEUP: event.detail = SWT.PAGE_UP; break; + } + sendSelectionEvent (SWT.Selection, event, true); + // the widget could be destroyed at this point + return null; +} + +}