/******************************************************************************* * 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 the receiver represent a selectable user interface object * that allows the user to drag a rubber banded outline of the sash within * the parent control. *
*
Styles:
*
HORIZONTAL, VERTICAL, SMOOTH
*
Events:
*
Selection
*
*

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

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

* * @see Sash snippets * @see SWT Example: ControlExample * @see Sample code and further information * @noextend This class is not intended to be subclassed by clients. */ public class Sash extends Control { boolean dragging; int startX, startY, lastX, lastY; int /*long*/ defaultCursor; private final static int INCREMENT = 1; private final static int PAGE_INCREMENT = 9; /** * 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 SWT#SMOOTH * @see Widget#checkSubclass * @see Widget#getStyle */ public Sash (Composite parent, int style) { super (parent, checkStyle (style)); } /** * Adds the listener to the collection of listeners who will * be notified when the control is selected by the user, by sending * it one of the messages defined in the SelectionListener * interface. *

* When widgetSelected is called, the x, y, width, and height fields of the event object are valid. * If the receiver is being dragged, the event object detail field contains the value SWT.DRAG. * widgetDefaultSelected is not called. *

* * @param listener the listener which should be notified when the control is selected by the user * * @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); } public Point computeSize (int wHint, int hHint, boolean changed) { checkWidget (); if (wHint != SWT.DEFAULT && wHint < 0) wHint = 0; if (hHint != SWT.DEFAULT && hHint < 0) hHint = 0; int border = getBorderWidth (); int width = border * 2, height = border * 2; if ((style & SWT.HORIZONTAL) != 0) { width += DEFAULT_WIDTH; height += 3; } else { width += 3; height += DEFAULT_HEIGHT; } if (wHint != SWT.DEFAULT) width = wHint + (border * 2); if (hHint != SWT.DEFAULT) height = hHint + (border * 2); return new Point (width, height); } void createHandle (int index) { state |= HANDLE | THEME_BACKGROUND; handle = OS.g_object_new (display.gtk_fixed_get_type (), 0); if (handle == 0) error (SWT.ERROR_NO_HANDLES); gtk_widget_set_has_window (handle, true); gtk_widget_set_can_focus (handle, true); int type = (style & SWT.VERTICAL) != 0 ? OS.GDK_SB_H_DOUBLE_ARROW : OS.GDK_SB_V_DOUBLE_ARROW; defaultCursor = OS.gdk_cursor_new (type); } void drawBand (int x, int y, int width, int height) { if ((style & SWT.SMOOTH) != 0) return; //TODO: Use Cairo int /*long*/ window = gtk_widget_get_window (parent.paintHandle()); if (window == 0) return; byte [] bits = {-86, 85, -86, 85, -86, 85, -86, 85}; int /*long*/ stipplePixmap = OS.gdk_bitmap_create_from_data (window, bits, 8, 8); int /*long*/ gc = OS.gdk_gc_new (window); int /*long*/ colormap = OS.gdk_colormap_get_system(); GdkColor color = new GdkColor (); OS.gdk_color_white (colormap, color); OS.gdk_gc_set_foreground (gc, color); OS.gdk_gc_set_stipple (gc, stipplePixmap); OS.gdk_gc_set_subwindow (gc, OS.GDK_INCLUDE_INFERIORS); OS.gdk_gc_set_fill (gc, OS.GDK_STIPPLED); OS.gdk_gc_set_function (gc, OS.GDK_XOR); OS.gdk_draw_rectangle (window, gc, 1, x, y, width, height); OS.g_object_unref (stipplePixmap); OS.g_object_unref (gc); } 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; GdkEventButton gdkEvent = new GdkEventButton (); OS.memmove (gdkEvent, eventPtr, GdkEventButton.sizeof); int button = gdkEvent.button; if (button != 1) return 0; if (gdkEvent.type == OS.GDK_2BUTTON_PRESS) return 0; if (gdkEvent.type == OS.GDK_3BUTTON_PRESS) return 0; int /*long*/ window = gtk_widget_get_window (widget); int [] origin_x = new int [1], origin_y = new int [1]; OS.gdk_window_get_origin (window, origin_x, origin_y); startX = (int) (gdkEvent.x_root - origin_x [0]); startY = (int) (gdkEvent.y_root - origin_y [0]); int x = 0; int y = 0; int width = 0; int height = 0; GtkAllocation allocation = new GtkAllocation (); if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { OS.gtk_widget_get_allocation(handle, allocation); x = allocation.x; y = allocation.y; width = allocation.width; height = allocation.height; } else { x = OS.GTK_WIDGET_X (handle); y = OS.GTK_WIDGET_Y (handle); width = OS.GTK_WIDGET_WIDTH (handle); height = OS.GTK_WIDGET_HEIGHT (handle); } lastX = x; lastY = y; Event event = new Event (); event.time = gdkEvent.time; event.x = lastX; event.y = lastY; event.width = width; event.height = height; if ((style & SWT.SMOOTH) == 0) { event.detail = SWT.DRAG; } if ((parent.style & SWT.MIRRORED) != 0) event.x = parent.getClientWidth () - width - event.x; sendSelectionEvent (SWT.Selection, event, true); if (isDisposed ()) return 0; if (event.doit) { dragging = true; lastX = event.x; lastY = event.y; if ((parent.style & SWT.MIRRORED) != 0) lastX = parent.getClientWidth () - width - lastX; parent.update (true, (style & SWT.SMOOTH) == 0); drawBand (lastX, event.y, width, height); if ((style & SWT.SMOOTH) != 0) { setBounds (event.x, event.y, width, height); // widget could be disposed at this point } } return result; } int /*long*/ gtk_button_release_event (int /*long*/ widget, int /*long*/ eventPtr) { int /*long*/ result = super.gtk_button_release_event (widget, eventPtr); if (result != 0) return result; GdkEventButton gdkEvent = new GdkEventButton (); OS.memmove (gdkEvent, eventPtr, GdkEventButton.sizeof); int button = gdkEvent.button; if (button != 1) return 0; if (!dragging) return 0; dragging = false; int width = 0; int height = 0; GtkAllocation allocation = new GtkAllocation (); if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { OS.gtk_widget_get_allocation(handle, allocation); width = allocation.width; height = allocation.height; } else { width = OS.GTK_WIDGET_WIDTH (handle); height = OS.GTK_WIDGET_HEIGHT (handle); } Event event = new Event (); event.time = gdkEvent.time; event.x = lastX; event.y = lastY; event.width = width; event.height = height; drawBand (lastX, lastY, width, height); if ((parent.style & SWT.MIRRORED) != 0) event.x = parent.getClientWidth () - width - event.x; sendSelectionEvent (SWT.Selection, event, true); if (isDisposed ()) return result; if (event.doit) { if ((style & SWT.SMOOTH) != 0) { setBounds (event.x, event.y, width, height); // widget could be disposed at this point } } return result; } int /*long*/ gtk_focus_in_event (int /*long*/ widget, int /*long*/ event) { int /*long*/ result = super.gtk_focus_in_event (widget, event); if (result != 0) return result; // widget could be disposed at this point if (handle != 0) { GtkAllocation allocation = new GtkAllocation (); if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { OS.gtk_widget_get_allocation(handle, allocation); lastX = allocation.x; lastY = allocation.y; } else { lastX = OS.GTK_WIDGET_X (handle); lastY = OS.GTK_WIDGET_Y (handle); } } return 0; } int /*long*/ gtk_key_press_event (int /*long*/ widget, int /*long*/ eventPtr) { int /*long*/ result = super.gtk_key_press_event (widget, eventPtr); if (result != 0) return result; GdkEventKey gdkEvent = new GdkEventKey (); OS.memmove (gdkEvent, eventPtr, GdkEventKey.sizeof); int keyval = gdkEvent.keyval; switch (keyval) { case OS.GDK_Left: case OS.GDK_Right: case OS.GDK_Up: case OS.GDK_Down: int xChange = 0, yChange = 0; int stepSize = PAGE_INCREMENT; if ((gdkEvent.state & OS.GDK_CONTROL_MASK) != 0) stepSize = INCREMENT; if ((style & SWT.VERTICAL) != 0) { if (keyval == OS.GDK_Up || keyval == OS.GDK_Down) break; xChange = keyval == OS.GDK_Left ? -stepSize : stepSize; } else { if (keyval == OS.GDK_Left ||keyval == OS.GDK_Right) break; yChange = keyval == OS.GDK_Up ? -stepSize : stepSize; } int width = 0; int height = 0; int parentBorder = 0; int parentWidth = 0; int parentHeight = 0; GtkAllocation allocation = new GtkAllocation (); if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { OS.gtk_widget_get_allocation(handle, allocation); width = allocation.width; height = allocation.height; OS.gtk_widget_get_allocation(parent.handle, allocation); parentWidth = allocation.width; parentHeight = allocation.height; } else { width = OS.GTK_WIDGET_WIDTH (handle); height = OS.GTK_WIDGET_HEIGHT (handle); parentWidth = OS.GTK_WIDGET_WIDTH (parent.handle); parentHeight = OS.GTK_WIDGET_HEIGHT (parent.handle); } int newX = lastX, newY = lastY; if ((style & SWT.VERTICAL) != 0) { newX = Math.min (Math.max (0, lastX + xChange - parentBorder - startX), parentWidth - width); } else { newY = Math.min (Math.max (0, lastY + yChange - parentBorder - startY), parentHeight - height); } if (newX == lastX && newY == lastY) return result; /* Ensure that the pointer image does not change */ int /*long*/ window = gtk_widget_get_window (handle); int grabMask = OS.GDK_POINTER_MOTION_MASK | OS.GDK_BUTTON_RELEASE_MASK; int /*long*/ gdkCursor = cursor != null ? cursor.handle : defaultCursor; int ptrGrabResult = OS.gdk_pointer_grab (window, false, grabMask, window, gdkCursor, OS.GDK_CURRENT_TIME); /* The event must be sent because its doit flag is used. */ Event event = new Event (); event.time = gdkEvent.time; event.x = newX; event.y = newY; event.width = width; event.height = height; if ((parent.style & SWT.MIRRORED) != 0) event.x = parent.getClientWidth () - width - event.x; sendSelectionEvent (SWT.Selection, event, true); if (ptrGrabResult == OS.GDK_GRAB_SUCCESS) OS.gdk_pointer_ungrab (OS.GDK_CURRENT_TIME); if (isDisposed ()) break; if (event.doit) { lastX = event.x; lastY = event.y; if ((parent.style & SWT.MIRRORED) != 0) lastX = parent.getClientWidth () - width - lastX; if ((style & SWT.SMOOTH) != 0) { setBounds (event.x, event.y, width, height); if (isDisposed ()) break; } int cursorX = event.x, cursorY = event.y; if ((style & SWT.VERTICAL) != 0) { cursorY += height / 2; } else { cursorX += width / 2; } display.setCursorLocation (parent.toDisplay (cursorX, cursorY)); } break; } return result; } int /*long*/ gtk_motion_notify_event (int /*long*/ widget, int /*long*/ eventPtr) { int /*long*/ result = super.gtk_motion_notify_event (widget, eventPtr); if (result != 0) return result; if (!dragging) return 0; GdkEventMotion gdkEvent = new GdkEventMotion (); OS.memmove (gdkEvent, eventPtr, GdkEventButton.sizeof); int eventX, eventY, eventState; if (gdkEvent.is_hint != 0) { int [] pointer_x = new int [1], pointer_y = new int [1], mask = new int [1]; OS.gdk_window_get_pointer (gdkEvent.window, pointer_x, pointer_y, mask); eventX = pointer_x [0]; eventY = pointer_y [0]; eventState = mask [0]; } else { int [] origin_x = new int [1], origin_y = new int [1]; OS.gdk_window_get_origin (gdkEvent.window, origin_x, origin_y); eventX = (int) (gdkEvent.x_root - origin_x [0]); eventY = (int) (gdkEvent.y_root - origin_y [0]); eventState = gdkEvent.state; } if ((eventState & OS.GDK_BUTTON1_MASK) == 0) return 0; int x = 0; int y = 0; int width = 0; int height = 0; int parentBorder = 0; int parentWidth = 0; int parentHeight = 0; GtkAllocation allocation = new GtkAllocation (); if (OS.GTK_VERSION >= OS.VERSION (2, 18, 0)) { OS.gtk_widget_get_allocation(handle, allocation); x = allocation.x; y = allocation.y; width = allocation.width; height = allocation.height; OS.gtk_widget_get_allocation(parent.handle, allocation); parentWidth = allocation.width; parentHeight = allocation.height; } else { x = OS.GTK_WIDGET_X (handle); y = OS.GTK_WIDGET_Y (handle); width = OS.GTK_WIDGET_WIDTH (handle); height = OS.GTK_WIDGET_HEIGHT (handle); parentWidth = OS.GTK_WIDGET_WIDTH (parent.handle); parentHeight = OS.GTK_WIDGET_HEIGHT (parent.handle); } int newX = lastX, newY = lastY; if ((style & SWT.VERTICAL) != 0) { newX = Math.min (Math.max (0, eventX + x - startX - parentBorder), parentWidth - width); } else { newY = Math.min (Math.max (0, eventY + y - startY - parentBorder), parentHeight - height); } if (newX == lastX && newY == lastY) return 0; drawBand (lastX, lastY, width, height); Event event = new Event (); event.time = gdkEvent.time; event.x = newX; event.y = newY; event.width = width; event.height = height; if ((style & SWT.SMOOTH) == 0) { event.detail = SWT.DRAG; } if ((parent.style & SWT.MIRRORED) != 0) event.x = parent.getClientWidth() - width - event.x; sendSelectionEvent (SWT.Selection, event, true); if (isDisposed ()) return 0; if (event.doit) { lastX = event.x; lastY = event.y; if ((parent.style & SWT.MIRRORED) != 0) lastX = parent.getClientWidth () - width - lastX; } parent.update (true, (style & SWT.SMOOTH) == 0); drawBand (lastX, lastY, width, height); if ((style & SWT.SMOOTH) != 0) { setBounds (event.x, lastY, width, height); // widget could be disposed at this point } return result; } int /*long*/ gtk_realize (int /*long*/ widget) { setCursor (cursor != null ? cursor.handle : 0); return super.gtk_realize (widget); } void hookEvents () { super.hookEvents (); OS.gtk_widget_add_events (handle, OS.GDK_POINTER_MOTION_HINT_MASK); } void releaseWidget () { super.releaseWidget (); if (defaultCursor != 0) OS.gdk_cursor_unref (defaultCursor); defaultCursor = 0; } /** * Removes the listener from the collection of listeners who will * be notified when the control is selected by the user. * * @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); } void setCursor (int /*long*/ cursor) { super.setCursor (cursor != 0 ? cursor : defaultCursor); } int traversalCode (int key, GdkEventKey event) { return 0; } }