Mercurial > projects > dwt-linux
changeset 87:4f37e84078de
TabFolder and TabItem
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Wed, 16 Jan 2008 11:21:06 +0100 |
parents | a360c3c265bc |
children | fe5c7d89efac |
files | doc/todo.txt dsss.conf dwt/internal/gtk/OS.d dwt/widgets/Button.d dwt/widgets/TabFolder.d dwt/widgets/TabItem.d |
diffstat | 6 files changed, 1068 insertions(+), 9 deletions(-) [+] |
line wrap: on
line diff
--- a/doc/todo.txt Tue Jan 15 21:19:03 2008 +0100 +++ b/doc/todo.txt Wed Jan 16 11:21:06 2008 +0100 @@ -134,7 +134,7 @@ widgets/ToolBar // OK widgets/ToolItem // OK widgets/ToolTip // OKs -widgets/Tracker +widgets/Tracker // OK widgets/Tray // OKs widgets/TrayItem // OKs widgets/Tree
--- a/dsss.conf Tue Jan 15 21:19:03 2008 +0100 +++ b/dsss.conf Wed Jan 16 11:21:06 2008 +0100 @@ -1,7 +1,7 @@ [dwt] type=library -[helloworld.d] +[dwtexamples/helloworld.d] buildflags+=-L-lgtk-x11-2.0 buildflags+=-L-lgdk-x11-2.0 @@ -32,5 +32,3 @@ buildflags+=-g -gc - -[structs.d]
--- a/dwt/internal/gtk/OS.d Tue Jan 15 21:19:03 2008 +0100 +++ b/dwt/internal/gtk/OS.d Wed Jan 16 11:21:06 2008 +0100 @@ -11,11 +11,9 @@ * * Contributors: * IBM Corporation - initial API and implementation - *******************************************************************************/ -/******************************************************************************** - * D port done by: - * Frank Benoit <keinfarbton@googlemail.com> - * JJR + * Port to the D programming language: + * Frank Benoit <benoit@tionex.de> + * John Reimer <> *******************************************************************************/ module dwt.internal.gtk.OS;
--- a/dwt/widgets/Button.d Tue Jan 15 21:19:03 2008 +0100 +++ b/dwt/widgets/Button.d Wed Jan 16 11:21:06 2008 +0100 @@ -144,6 +144,7 @@ addListener (DWT.DefaultSelection,typedListener); } +alias Control.computeSize computeSize; override public Point computeSize (int wHint, int hHint, bool changed) { checkWidget (); if (wHint !is DWT.DEFAULT && wHint < 0) wHint = 0;
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dwt/widgets/TabFolder.d Wed Jan 16 11:21:06 2008 +0100 @@ -0,0 +1,706 @@ +/******************************************************************************* + * Copyright (c) 2000, 2007 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 + *******************************************************************************/ +module dwt.widgets.TabFolder; + + + +import dwt.DWT; +import dwt.DWTException; +import dwt.events.SelectionEvent; +import dwt.events.SelectionListener; +import dwt.graphics.Point; +import dwt.graphics.Rectangle; +import dwt.internal.gtk.OS; +import dwt.widgets.Composite; +import dwt.widgets.TabItem; +import dwt.widgets.ImageList; +import dwt.widgets.Control; +import dwt.widgets.TypedListener; +import dwt.widgets.Event; + +/** + * Instances of this class implement the notebook user interface + * metaphor. It allows the user to select a notebook page from + * set of pages. + * <p> + * The item children that may be added to instances of this class + * must be of type <code>TabItem</code>. + * <code>Control</code> children are created and then set into a + * tab item using <code>TabItem#setControl</code>. + * </p><p> + * Note that although this class is a subclass of <code>Composite</code>, + * it does not make sense to set a layout on it. + * </p><p> + * <dl> + * <dt><b>Styles:</b></dt> + * <dd>TOP, BOTTOM</dd> + * <dt><b>Events:</b></dt> + * <dd>Selection</dd> + * </dl> + * <p> + * Note: Only one of the styles TOP and BOTTOM may be specified. + * </p><p> + * IMPORTANT: This class is <em>not</em> intended to be subclassed. + * </p> + */ +public class TabFolder : Composite { + TabItem [] items; + ImageList imageList; + +/** + * Constructs a new instance of this class given its parent + * and a style value describing its behavior and appearance. + * <p> + * The style value is either one of the style constants defined in + * class <code>DWT</code> which is applicable to instances of this + * class, or must be built by <em>bitwise OR</em>'ing together + * (that is, using the <code>int</code> "|" operator) two or more + * of those <code>DWT</code> style constants. The class description + * lists the style constants that are applicable to the class. + * Style bits are also inherited from superclasses. + * </p> + * + * @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 <ul> + * <li>ERROR_NULL_ARGUMENT - if the parent is null</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li> + * <li>ERROR_INVALID_SUBCLASS - if this class is not an allowed subclass</li> + * </ul> + * + * @see DWT + * @see Widget#checkSubclass + * @see Widget#getStyle + */ +public this (Composite parent, int style) { + super (parent, checkStyle (style)); +} + +static int checkStyle (int style) { + style = checkBits (style, DWT.TOP, DWT.BOTTOM, 0, 0, 0, 0); + /* + * Even though it is legal to create this widget + * with scroll bars, they serve no useful purpose + * because they do not automatically scroll the + * widget's client area. The fix is to clear + * the DWT style. + */ + return style & ~(DWT.H_SCROLL | DWT.V_SCROLL); +} + +protected void checkSubclass () { + if (!isValidSubclass ()) error (DWT.ERROR_INVALID_SUBCLASS); +} + +GtkStyle* childStyle () { + auto rcStyle = OS.gtk_widget_get_modifier_style (handle); + if ((OS.gtk_rc_style_get_color_flags (rcStyle, 0) & OS.GTK_RC_BG) !is 0) return null; + OS.gtk_widget_realize (handle); + return OS.gtk_widget_get_style (handle); +} + +/** + * Adds the listener to the collection of listeners who will + * be notified when the user changes the receiver's selection, by sending + * it one of the messages defined in the <code>SelectionListener</code> + * interface. + * <p> + * When <code>widgetSelected</code> is called, the item field of the event object is valid. + * <code>widgetDefaultSelected</code> is not called. + * </p> + * + * @param listener the listener which should be notified when the user changes the receiver's selection + * + * @exception IllegalArgumentException <ul> + * <li>ERROR_NULL_ARGUMENT - if the listener is null</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + * + * @see SelectionListener + * @see #removeSelectionListener + * @see SelectionEvent + */ +public void addSelectionListener(SelectionListener listener) { + checkWidget (); + if (listener is null) error (DWT.ERROR_NULL_ARGUMENT); + TypedListener typedListener = new TypedListener(listener); + addListener(DWT.Selection,typedListener); + addListener(DWT.DefaultSelection,typedListener); +} + +GtkWidget* clientHandle () { + int index = OS.gtk_notebook_get_current_page (handle); + if (index !is -1 && items [index] !is null) { + return items [index].pageHandle; + } + return handle; +} + +public Point computeSize (int wHint, int hHint, bool changed) { + checkWidget (); + Point size = super.computeSize (wHint, hHint, changed); + if (wHint !is DWT.DEFAULT && wHint < 0) wHint = 0; + if (hHint !is DWT.DEFAULT && hHint < 0) hHint = 0; + bool scrollable = cast(bool)OS.gtk_notebook_get_scrollable (handle); + OS.gtk_notebook_set_scrollable (handle, false); + Point notebookSize = computeNativeSize (handle, wHint, hHint, changed); + OS.gtk_notebook_set_scrollable (handle, scrollable); + size.x = Math.max (notebookSize.x, size.x); + size.y = Math.max (notebookSize.y, size.y); + return size; +} + +public Rectangle computeTrim (int x, int y, int width, int height) { + checkWidget(); + forceResize (); + auto clientHandle = clientHandle (); + int clientX = OS.GTK_WIDGET_X (clientHandle); + int clientY = OS.GTK_WIDGET_Y (clientHandle); + x -= clientX; + y -= clientY; + width += clientX + clientX; + if ((style & DWT.BOTTOM) !is 0) { + int parentHeight = OS.GTK_WIDGET_HEIGHT (handle); + int clientHeight = OS.GTK_WIDGET_HEIGHT (clientHandle); + height += parentHeight - clientHeight; + } else { + height += clientX + clientY; + } + return new Rectangle (x, y, width, height); +} + +void createHandle (int index) { + state |= HANDLE; + fixedHandle = cast(GtkWidget*)OS.g_object_new (display.gtk_fixed_get_type (), null); + if (fixedHandle is null) error (DWT.ERROR_NO_HANDLES); + OS.gtk_fixed_set_has_window (fixedHandle, true); + handle = cast(GtkWidget*)OS.gtk_notebook_new (); + if (handle is null) error (DWT.ERROR_NO_HANDLES); + OS.gtk_container_add (fixedHandle, handle); + OS.gtk_notebook_set_scrollable (handle, true); + OS.gtk_notebook_set_show_tabs (handle, true); + if ((style & DWT.BOTTOM) !is 0) { + OS.gtk_notebook_set_tab_pos (handle, OS.GTK_POS_BOTTOM); + } +} + +void createWidget (int index) { + super.createWidget(index); + items = new TabItem [4]; +} + +void createItem (TabItem item, int index) { + auto list = OS.gtk_container_get_children (handle); + int itemCount = 0; + if (list !is null) { + itemCount = OS.g_list_length (list); + OS.g_list_free (list); + } + if (!(0 <= index && index <= itemCount)) error (DWT.ERROR_INVALID_RANGE); + if (itemCount is items.length) { + TabItem [] newItems = new TabItem [items.length + 4]; + System.arraycopy (items, 0, newItems, 0, items.length); + items = newItems; + } + auto boxHandle = OS.gtk_hbox_new (false, 0); + if (boxHandle is null) error (DWT.ERROR_NO_HANDLES); + auto labelHandle = OS.gtk_label_new_with_mnemonic (null); + if (labelHandle is null) error (DWT.ERROR_NO_HANDLES); + auto imageHandle = OS.gtk_image_new (); + if (imageHandle is null) error (DWT.ERROR_NO_HANDLES); + OS.gtk_container_add (boxHandle, imageHandle); + OS.gtk_container_add (boxHandle, labelHandle); + auto pageHandle = cast(GtkWidget*)OS.g_object_new (display.gtk_fixed_get_type (), null); + if (pageHandle is null) error (DWT.ERROR_NO_HANDLES); + OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, null, null, udSWITCH_PAGE); + OS.gtk_notebook_insert_page (handle, pageHandle, boxHandle, index); + OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, null, null, udSWITCH_PAGE); + OS.gtk_widget_show (boxHandle); + OS.gtk_widget_show (labelHandle); + OS.gtk_widget_show (pageHandle); + item.state |= HANDLE; + item.handle = boxHandle; + item.labelHandle = labelHandle; + item.imageHandle = imageHandle; + item.pageHandle = pageHandle; + System.arraycopy (items, index, items, index + 1, itemCount++ - index); + items [index] = item; + if ((state & FOREGROUND) !is 0) { + item.setForegroundColor (getForegroundColor()); + } + if ((state & FONT) !is 0) { + item.setFontDescription (getFontDescription()); + } + if (itemCount is 1) { + OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, null, null, udSWITCH_PAGE); + OS.gtk_notebook_set_current_page (handle, 0); + OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, null, null, udSWITCH_PAGE); + Event event = new Event(); + event.item = items[0]; + sendEvent (DWT.Selection, event); + // the widget could be destroyed at this point + } +} + +void destroyItem (TabItem item) { + int index = 0; + int itemCount = getItemCount(); + while (index < itemCount) { + if (items [index] is item) break; + index++; + } + if (index is itemCount) error (DWT.ERROR_ITEM_NOT_REMOVED); + int oldIndex = OS.gtk_notebook_get_current_page (handle); + OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, null, null, udSWITCH_PAGE); + OS.gtk_notebook_remove_page (handle, index); + OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, null, null, udSWITCH_PAGE); + System.arraycopy (items, index + 1, items, index, --itemCount - index); + items [itemCount] = null; + if (index is oldIndex) { + int newIndex = OS.gtk_notebook_get_current_page (handle); + if (newIndex !is -1) { + Control control = items [newIndex].getControl (); + if (control !is null && !control.isDisposed ()) { + control.setBounds (getClientArea()); + control.setVisible (true); + } + Event event = new Event (); + event.item = items [newIndex]; + sendEvent (DWT.Selection, event); + // the widget could be destroyed at this point + } + } +} + +GtkWidget* eventHandle () { + return fixedHandle; +} + +/** + * Returns the item at the given, zero-relative index in the + * receiver. Throws an exception if the index is out of range. + * + * @param index the index of the item to return + * @return the item at the given index + * + * @exception IllegalArgumentException <ul> + * <li>ERROR_INVALID_RANGE - if the index is not between 0 and the number of elements in the list minus 1 (inclusive)</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public TabItem getItem (int index) { + checkWidget(); + if (!(0 <= index && index < getItemCount())) error (DWT.ERROR_INVALID_RANGE); + auto list = OS.gtk_container_get_children (handle); + if (list is null) error (DWT.ERROR_CANNOT_GET_ITEM); + int itemCount = OS.g_list_length (list); + OS.g_list_free (list); + if (!(0 <= index && index < itemCount)) error (DWT.ERROR_CANNOT_GET_ITEM); + return items [index]; +} + +/** + * Returns the number of items contained in the receiver. + * + * @return the number of items + * + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public int getItemCount () { + checkWidget(); + auto list = OS.gtk_container_get_children (handle); + if (list is null) return 0; + int itemCount = OS.g_list_length (list); + OS.g_list_free (list); + return itemCount; +} + +/** + * Returns an array of <code>TabItem</code>s which are the items + * in the receiver. + * <p> + * Note: This is not the actual structure used by the receiver + * to maintain its list of items, so modifying the array will + * not affect the receiver. + * </p> + * + * @return the items in the receiver + * + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public TabItem [] getItems () { + checkWidget(); + int count = getItemCount (); + TabItem [] result = new TabItem [count]; + System.arraycopy (items, 0, result, 0, count); + return result; +} + +/** + * Returns an array of <code>TabItem</code>s that are currently + * selected in the receiver. An empty array indicates that no + * items are selected. + * <p> + * Note: This is not the actual structure used by the receiver + * to maintain its selection, so modifying the array will + * not affect the receiver. + * </p> + * @return an array representing the selection + * + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public TabItem [] getSelection () { + checkWidget(); + int index = OS.gtk_notebook_get_current_page (handle); + if (index is -1) return new TabItem [0]; + return [ items [index] ]; +} + +/** + * Returns the zero-relative index of the item which is currently + * selected in the receiver, or -1 if no item is selected. + * + * @return the index of the selected item + * + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public int getSelectionIndex () { + checkWidget(); + return OS.gtk_notebook_get_current_page (handle); +} + +override int gtk_focus (GtkWidget* widget, int /*long*/ directionType) { + return 0; +} + +override int gtk_switch_page (GtkWidget* widget, int /*long*/ page, int /*long*/ page_num) { + int index = OS.gtk_notebook_get_current_page (handle); + if (index !is -1) { + Control control = items [index].getControl (); + if (control !is null && !control.isDisposed ()) { + control.setVisible (false); + } + } + TabItem item = items [cast(int)/*64*/page_num]; + Control control = item.getControl (); + if (control !is null && !control.isDisposed ()) { + control.setBounds(getClientArea()); + control.setVisible (true); + } + Event event = new Event(); + event.item = item; + postEvent(DWT.Selection, event); + return 0; +} + +void hookEvents () { + super.hookEvents (); + OS.g_signal_connect_closure (handle, OS.switch_page.ptr, display.closures [SWITCH_PAGE], false); +} + +/** + * Searches the receiver's list starting at the first item + * (index 0) until an item is found that is equal to the + * argument, and returns the index of that item. If no item + * is found, returns -1. + * + * @param item the search item + * @return the index of the item + * + * @exception IllegalArgumentException <ul> + * <li>ERROR_NULL_ARGUMENT - if the item is null</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public int indexOf (TabItem item) { + checkWidget(); + if (item is null) error (DWT.ERROR_NULL_ARGUMENT); + auto list = OS.gtk_container_get_children (handle); + if (list is null) return -1; + int count = OS.g_list_length (list); + OS.g_list_free (list); + for (int i=0; i<count; i++) { + if (items [i] is item) return i; + } + return -1; +} + +Point minimumSize (int wHint, int hHint, bool flushCache) { + Control [] children = _getChildren (); + int width = 0, height = 0; + for (int i=0; i<children.length; i++) { + Control child = children [i]; + int index = 0; + int count = 0; + auto list = OS.gtk_container_get_children (handle); + if (list !is null) { + count = OS.g_list_length (list); + OS.g_list_free (list); + } + while (index < count) { + if (items [index].control is child) break; + index++; + } + if (index is count) { + Rectangle rect = child.getBounds (); + width = Math.max (width, rect.x + rect.width); + height = Math.max (height, rect.y + rect.height); + } else { + Point size = child.computeSize (wHint, hHint, flushCache); + width = Math.max (width, size.x); + height = Math.max (height, size.y); + } + } + return new Point (width, height); +} + +alias Composite.mnemonicHit mnemonicHit; +bool mnemonicHit (char key) { + int itemCount = getItemCount (); + for (int i=0; i<itemCount; i++) { + auto labelHandle = items [i].labelHandle; + if (labelHandle !is null && mnemonicHit (labelHandle, key)) return true; + } + return false; +} + +alias Composite.mnemonicMatch mnemonicMatch; +bool mnemonicMatch (char key) { + int itemCount = getItemCount (); + for (int i=0; i<itemCount; i++) { + auto labelHandle = items [i].labelHandle; + if (labelHandle !is null && mnemonicHit (labelHandle, key)) return true; + } + return false; +} + +void releaseChildren (bool destroy) { + if (items !is null) { + for (int i=0; i<items.length; i++) { + TabItem item = items [i]; + if (item !is null && !item.isDisposed ()) { + item.release (false); + } + } + items = null; + } + super.releaseChildren (destroy); +} + +void releaseWidget () { + super.releaseWidget (); + if (imageList !is null) imageList.dispose (); + imageList = null; +} + +void removeControl (Control control) { + super.removeControl (control); + int count = getItemCount (); + for (int i=0; i<count; i++) { + TabItem item = items [i]; + if (item.control is control) item.setControl (null); + } +} + +/** + * Removes the listener from the collection of listeners who will + * be notified when the user changes the receiver's selection. + * + * @param listener the listener which should no longer be notified + * + * @exception IllegalArgumentException <ul> + * <li>ERROR_NULL_ARGUMENT - if the listener is null</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + * + * @see SelectionListener + * @see #addSelectionListener + */ +public void removeSelectionListener (SelectionListener listener) { + checkWidget (); + if (listener is null) error (DWT.ERROR_NULL_ARGUMENT); + if (eventTable is null) return; + eventTable.unhook (DWT.Selection, listener); + eventTable.unhook (DWT.DefaultSelection,listener); +} + +int setBounds (int x, int y, int width, int height, bool move, bool resize) { + int result = super.setBounds (x, y, width, height, move, resize); + if ((result & RESIZED) !is 0) { + int index = getSelectionIndex (); + if (index !is -1) { + TabItem item = items [index]; + Control control = item.control; + if (control !is null && !control.isDisposed ()) { + control.setBounds (getClientArea ()); + } + } + } + return result; +} + +void setFontDescription (PangoFontDescription* font) { + super.setFontDescription (font); + TabItem [] items = getItems (); + for (int i = 0; i < items.length; i++) { + if (items[i] !is null) { + items[i].setFontDescription (font); + } + } +} + +alias Composite.setForegroundColor setForegroundColor; +void setForegroundColor (GdkColor* color) { + super.setForegroundColor (color); + TabItem [] items = getItems (); + for (int i = 0; i < items.length; i++) { + if (items[i] !is null) { + items[i].setForegroundColor (color); + } + } +} + +/** + * Selects the item at the given zero-relative index in the receiver. + * If the item at the index was already selected, it remains selected. + * The current selection is first cleared, then the new items are + * selected. Indices that are out of range are ignored. + * + * @param index the index of the item to select + * + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public void setSelection (int index) { + checkWidget (); + if (!(0 <= index && index < getItemCount ())) return; + setSelection (index, false); +} + +void setSelection (int index, bool notify) { + if (index < 0) return; + int oldIndex = OS.gtk_notebook_get_current_page (handle); + if (oldIndex is index) return; + if (oldIndex !is -1) { + TabItem item = items [oldIndex]; + Control control = item.control; + if (control !is null && !control.isDisposed ()) { + control.setVisible (false); + } + } + OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, null, null, udSWITCH_PAGE); + OS.gtk_notebook_set_current_page (handle, index); + OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, null, null, udSWITCH_PAGE); + int newIndex = OS.gtk_notebook_get_current_page (handle); + if (newIndex !is -1) { + TabItem item = items [newIndex]; + Control control = item.control; + if (control !is null && !control.isDisposed ()) { + control.setBounds (getClientArea ()); + control.setVisible (true); + } + if (notify) { + Event event = new Event (); + event.item = item; + sendEvent (DWT.Selection, event); + } + } +} + +/** + * Sets the receiver's selection to the given item. + * The current selected is first cleared, then the new item is + * selected. + * + * @param item the item to select + * + * @exception IllegalArgumentException <ul> + * <li>ERROR_NULL_ARGUMENT - if the item is null</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + * + * @since 3.2 + */ +public void setSelection (TabItem item) { + if (item is null) error (DWT.ERROR_NULL_ARGUMENT); + setSelection( [item] ); +} + +/** + * Sets the receiver's selection to be the given array of items. + * The current selected is first cleared, then the new items are + * selected. + * + * @param items the array of items + * + * @exception IllegalArgumentException <ul> + * <li>ERROR_NULL_ARGUMENT - if the items array is null</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public void setSelection (TabItem [] items) { + checkWidget(); + if (items is null) error (DWT.ERROR_NULL_ARGUMENT); + if (items.length is 0) { + setSelection (-1, false); + } else { + for (int i=items.length-1; i>=0; --i) { + int index = indexOf (items [i]); + if (index !is -1) setSelection (index, false); + } + } +} + +bool traversePage (bool next) { + if (next) { + OS.gtk_notebook_next_page (handle); + } else { + OS.gtk_notebook_prev_page (handle); + } + return true; +} + +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/dwt/widgets/TabItem.d Wed Jan 16 11:21:06 2008 +0100 @@ -0,0 +1,356 @@ +/******************************************************************************* + * Copyright (c) 2000, 2007 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 + *******************************************************************************/ +module dwt.widgets.TabItem; + + + +import dwt.DWT; +import dwt.DWTException; +import dwt.graphics.Image; +import dwt.internal.gtk.OS; +import dwt.widgets.Item; +import dwt.widgets.Control; +import dwt.widgets.TabFolder; +import dwt.widgets.ImageList; + +static import tango.stdc.stringz; + +/** + * Instances of this class represent a selectable user interface object + * corresponding to a tab for a page in a tab folder. + * <dl> + * <dt><b>Styles:</b></dt> + * <dd>(none)</dd> + * <dt><b>Events:</b></dt> + * <dd>(none)</dd> + * </dl> + * <p> + * IMPORTANT: This class is <em>not</em> intended to be subclassed. + * </p> + */ +public class TabItem : Item { + GtkWidget* labelHandle, imageHandle, pageHandle; + Control control; + TabFolder parent; + char[] toolTipText; + +/** + * Constructs a new instance of this class given its parent + * (which must be a <code>TabFolder</code>) and a style value + * describing its behavior and appearance. The item is added + * to the end of the items maintained by its parent. + * <p> + * The style value is either one of the style constants defined in + * class <code>DWT</code> which is applicable to instances of this + * class, or must be built by <em>bitwise OR</em>'ing together + * (that is, using the <code>int</code> "|" operator) two or more + * of those <code>DWT</code> style constants. The class description + * lists the style constants that are applicable to the class. + * Style bits are also inherited from superclasses. + * </p> + * + * @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 <ul> + * <li>ERROR_NULL_ARGUMENT - if the parent is null</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li> + * <li>ERROR_INVALID_SUBCLASS - if this class is not an allowed subclass</li> + * </ul> + * + * @see DWT + * @see Widget#checkSubclass + * @see Widget#getStyle + */ +public this (TabFolder parent, int style) { + super (parent, style); + this.parent = parent; + createWidget (parent.getItemCount ()); +} + +/** + * Constructs a new instance of this class given its parent + * (which must be a <code>TabFolder</code>), a style value + * describing its behavior and appearance, and the index + * at which to place it in the items maintained by its parent. + * <p> + * The style value is either one of the style constants defined in + * class <code>DWT</code> which is applicable to instances of this + * class, or must be built by <em>bitwise OR</em>'ing together + * (that is, using the <code>int</code> "|" operator) two or more + * of those <code>DWT</code> style constants. The class description + * lists the style constants that are applicable to the class. + * Style bits are also inherited from superclasses. + * </p> + * + * @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 + * @param index the zero-relative index to store the receiver in its parent + * + * @exception IllegalArgumentException <ul> + * <li>ERROR_NULL_ARGUMENT - if the parent is null</li> + * <li>ERROR_INVALID_RANGE - if the index is not between 0 and the number of elements in the parent (inclusive)</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the parent</li> + * <li>ERROR_INVALID_SUBCLASS - if this class is not an allowed subclass</li> + * </ul> + * + * @see DWT + * @see Widget#checkSubclass + * @see Widget#getStyle + */ +public this (TabFolder parent, int style, int index) { + super (parent, style); + this.parent = parent; + createWidget (index); +} + +protected void checkSubclass () { + if (!isValidSubclass ()) error (DWT.ERROR_INVALID_SUBCLASS); +} + +void createWidget (int index) { + parent.createItem (this, index); + setOrientation (); + hookEvents (); + register (); + text = ""; +} + +void deregister() { + super.deregister (); + if (labelHandle !is null) display.removeWidget (labelHandle); +} + +void destroyWidget () { + parent.destroyItem (this); + releaseHandle (); +} + +/** + * Returns the control that is used to fill the client area of + * the tab folder when the user selects the tab item. If no + * control has been set, return <code>null</code>. + * <p> + * @return the control + * + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public Control getControl () { + checkWidget (); + return control; +} + +/** + * Returns the receiver's parent, which must be a <code>TabFolder</code>. + * + * @return the receiver's parent + * + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public TabFolder getParent () { + checkWidget (); + return parent; +} + +/** + * Returns the receiver's tool tip text, or null if it has + * not been set. + * + * @return the receiver's tool tip text + * + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public char[] getToolTipText () { + checkWidget (); + return toolTipText; +} + +override int gtk_enter_notify_event (GtkWidget* widget, GdkEventCrossing* event) { + parent.gtk_enter_notify_event (widget, event); + return 0; +} + +override int gtk_mnemonic_activate (GtkWidget* widget, int /*long*/ arg1) { + return parent.gtk_mnemonic_activate (widget, arg1); +} + +void hookEvents () { + super.hookEvents (); + if (labelHandle !is null) OS.g_signal_connect_closure_by_id (labelHandle, display.signalIds [MNEMONIC_ACTIVATE], 0, display.closures [MNEMONIC_ACTIVATE], false); + OS.g_signal_connect_closure_by_id (handle, display.signalIds [ENTER_NOTIFY_EVENT], 0, display.closures [ENTER_NOTIFY_EVENT], false); +} + +void register () { + super.register (); + if (labelHandle !is null) display.addWidget (labelHandle, this); +} + +void releaseHandle () { + super.releaseHandle (); + pageHandle = labelHandle = imageHandle = null; + parent = null; +} + +void releaseParent () { + super.releaseParent (); + int index = parent.indexOf (this); + if (index is parent.getSelectionIndex ()) { + if (control !is null) control.setVisible (false); + } +} + +/** + * Sets the control that is used to fill the client area of + * the tab folder when the user selects the tab item. + * <p> + * @param control the new control (or null) + * + * @exception IllegalArgumentException <ul> + * <li>ERROR_INVALID_ARGUMENT - if the control has been disposed</li> + * <li>ERROR_INVALID_PARENT - if the control is not in the same widget tree</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public void setControl (Control control) { + checkWidget (); + if (control !is null) { + if (control.isDisposed ()) error (DWT.ERROR_INVALID_ARGUMENT); + if (control.parent !is parent) error (DWT.ERROR_INVALID_PARENT); + } + Control oldControl = this.control, newControl = control; + this.control = control; + int index = parent.indexOf (this); + if (index !is parent.getSelectionIndex ()) { + if (newControl !is null) newControl.setVisible (false); + return; + } + if (newControl !is null) { + newControl.setBounds (parent.getClientArea ()); + newControl.setVisible (true); + } + if (oldControl !is null) oldControl.setVisible (false); +} + +void setFontDescription (PangoFontDescription* font) { + OS.gtk_widget_modify_font (labelHandle, font); + OS.gtk_widget_modify_font (imageHandle, font); +} + +alias Item.setForegroundColor setForegroundColor; +void setForegroundColor (GdkColor* color) { + /* Don't set the color in vbox handle (it doesn't draw) */ + setForegroundColor (labelHandle, color); + setForegroundColor (imageHandle, color); +} + +public void setImage (Image image) { + checkWidget (); + super.setImage (image); + if (image !is null) { + ImageList imageList = parent.imageList; + if (imageList is null) imageList = parent.imageList = new ImageList (); + int imageIndex = imageList.indexOf (image); + if (imageIndex is -1) { + imageIndex = imageList.add (image); + } else { + imageList.put (imageIndex, image); + } + auto pixbuf = imageList.getPixbuf (imageIndex); + OS.gtk_image_set_from_pixbuf (imageHandle, pixbuf); + OS.gtk_widget_show (imageHandle); + } else { + OS.gtk_image_set_from_pixbuf (imageHandle, null); + OS.gtk_widget_hide (imageHandle); + } +} + +void setOrientation () { + if ((parent.style & DWT.RIGHT_TO_LEFT) !is 0) { + if (handle !is null) OS.gtk_widget_set_direction (handle, OS.GTK_TEXT_DIR_RTL); + if (labelHandle !is null) OS.gtk_widget_set_direction (labelHandle, OS.GTK_TEXT_DIR_RTL); + if (imageHandle !is null) OS.gtk_widget_set_direction (imageHandle, OS.GTK_TEXT_DIR_RTL); + if (pageHandle !is null) OS.gtk_widget_set_direction (pageHandle, OS.GTK_TEXT_DIR_RTL); + } +} + +/** + * Sets the receiver's text. The string may include + * the mnemonic character. + * </p> + * <p> + * Mnemonics are indicated by an '&' that causes the next + * character to be the mnemonic. When the user presses a + * key sequence that matches the mnemonic, a selection + * event occurs. On most platforms, the mnemonic appears + * underlined but may be emphasised in a platform specific + * manner. The mnemonic indicator character '&' can be + * escaped by doubling it in the string, causing a single + * '&' to be displayed. + * </p> + * + * @param string the new text + * + * @exception IllegalArgumentException <ul> + * <li>ERROR_NULL_ARGUMENT - if the text is null</li> + * </ul> + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + * + */ +public void setText (char[] string) { + checkWidget (); + if (string is null) error (DWT.ERROR_NULL_ARGUMENT); + super.setText (string); + char [] chars = fixMnemonic (string); + char* buffer = tango.stdc.stringz.toStringz( chars); + OS.gtk_label_set_text_with_mnemonic (labelHandle, buffer); + if (string.length !is 0) { + OS.gtk_widget_show (labelHandle); + } else { + OS.gtk_widget_hide (labelHandle); + } +} + +/** + * Sets the receiver's tool tip text to the argument, which + * may be null indicating that no tool tip text should be shown. + * + * @param string the new tool tip text (or null) + * + * @exception DWTException <ul> + * <li>ERROR_WIDGET_DISPOSED - if the receiver has been disposed</li> + * <li>ERROR_THREAD_INVALID_ACCESS - if not called from the thread that created the receiver</li> + * </ul> + */ +public void setToolTipText (char[] string) { + checkWidget (); + toolTipText = string; +} + +}