/******************************************************************************* * 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.*; import org.eclipse.swt.internal.gtk.*; import org.eclipse.swt.graphics.*; import org.eclipse.swt.events.*; /** * Instances of this class represent a selectable user interface object * that issues notification when pressed and released. *
*
Styles:
*
CHECK, CASCADE, PUSH, RADIO, SEPARATOR
*
Events:
*
Arm, Help, Selection
*
*

* Note: Only one of the styles CHECK, CASCADE, PUSH, RADIO and SEPARATOR * may be specified. *

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

* * @see Sample code and further information * @noextend This class is not intended to be subclassed by clients. */ public class MenuItem extends Item { Menu parent, menu; long /*int*/ groupHandle; int accelerator, userId; /** * Constructs a new instance of this class given its parent * (which must be a Menu) and a style value * describing its behavior and appearance. The item is added * to the end of the items maintained by its parent. *

* 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 menu 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#CHECK * @see SWT#CASCADE * @see SWT#PUSH * @see SWT#RADIO * @see SWT#SEPARATOR * @see Widget#checkSubclass * @see Widget#getStyle */ public MenuItem (Menu parent, int style) { super (parent, checkStyle (style)); this.parent = parent; createWidget (parent.getItemCount ()); } /** * Constructs a new instance of this class given its parent * (which must be a Menu), a style value * describing its behavior and appearance, and the index * at which to place it in the items maintained by its parent. *

* 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 menu 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 * @exception SWTException * * @see SWT#CHECK * @see SWT#CASCADE * @see SWT#PUSH * @see SWT#RADIO * @see SWT#SEPARATOR * @see Widget#checkSubclass * @see Widget#getStyle */ public MenuItem (Menu parent, int style, int index) { super (parent, checkStyle (style)); this.parent = parent; int count = parent.getItemCount (); if (!(0 <= index && index <= count)) { error (SWT.ERROR_INVALID_RANGE); } createWidget (index); } void addAccelerator (long /*int*/ accelGroup) { updateAccelerator (accelGroup, true); } void addAccelerators (long /*int*/ accelGroup) { addAccelerator (accelGroup); if (menu != null) menu.addAccelerators (accelGroup); } /** * Adds the listener to the collection of listeners who will * be notified when the arm events are generated for the control, by sending * it one of the messages defined in the ArmListener * interface. * * @param listener the listener which should be notified * * @exception IllegalArgumentException * @exception SWTException * * @see ArmListener * @see #removeArmListener */ public void addArmListener (ArmListener listener) { checkWidget(); if (listener == null) error (SWT.ERROR_NULL_ARGUMENT); TypedListener typedListener = new TypedListener (listener); addListener (SWT.Arm, typedListener); } /** * Adds the listener to the collection of listeners who will * be notified when the help events are generated for the control, by sending * it one of the messages defined in the HelpListener * interface. * * @param listener the listener which should be notified * * @exception IllegalArgumentException * @exception SWTException * * @see HelpListener * @see #removeHelpListener */ public void addHelpListener (HelpListener listener) { checkWidget(); if (listener == null) error (SWT.ERROR_NULL_ARGUMENT); TypedListener typedListener = new TypedListener (listener); addListener (SWT.Help, typedListener); } /** * Adds the listener to the collection of listeners who will * be notified when the menu item is selected by the user, by sending * it one of the messages defined in the SelectionListener * interface. *

* When widgetSelected is called, the stateMask field of the event object is valid. * widgetDefaultSelected is not called. *

*

* When the SWT.RADIO style bit is set, the widgetSelected method is * also called when the receiver loses selection because another item in the same radio group * was selected by the user. During widgetSelected the application can use * getSelection() to determine the current selected state of the receiver. *

* * @param listener the listener which should be notified when the menu item 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.PUSH, SWT.CHECK, SWT.RADIO, SWT.SEPARATOR, SWT.CASCADE, 0); } protected void checkSubclass () { if (!isValidSubclass ()) error (SWT.ERROR_INVALID_SUBCLASS); } void createHandle (int index) { state |= HANDLE; byte [] buffer = new byte [1]; int bits = SWT.CHECK | SWT.RADIO | SWT.PUSH | SWT.SEPARATOR; switch (style & bits) { case SWT.SEPARATOR: handle = OS.gtk_separator_menu_item_new (); break; case SWT.RADIO: /* * Feature in GTK. In GTK, radio button must always be part of * a radio button group. In a GTK radio group, one button is always * selected. This means that it is not possible to have a single * radio button that is unselected. This is necessary to allow * applications to implement their own radio behavior or use radio * buttons outside of radio groups. The fix is to create a hidden * radio button for each radio button we create and add them * to the same group. This allows the visible button to be * unselected. */ groupHandle = OS.gtk_radio_menu_item_new (0); if (groupHandle == 0) error (SWT.ERROR_NO_HANDLES); OS.g_object_ref (groupHandle); OS.g_object_ref_sink (groupHandle); long /*int*/ group = OS.gtk_radio_menu_item_get_group (groupHandle); handle = OS.gtk_radio_menu_item_new_with_label (group, buffer); break; case SWT.CHECK: handle = OS.gtk_check_menu_item_new_with_label (buffer); break; case SWT.PUSH: default: handle = OS.gtk_image_menu_item_new_with_label (buffer); break; } if (handle == 0) error (SWT.ERROR_NO_HANDLES); if ((style & SWT.SEPARATOR) == 0) { long /*int*/ label = OS.gtk_bin_get_child (handle); OS.gtk_accel_label_set_accel_widget (label, 0); } long /*int*/ parentHandle = parent.handle; boolean enabled = gtk_widget_get_sensitive (parentHandle); if (!enabled) OS.gtk_widget_set_sensitive (parentHandle, true); OS.gtk_menu_shell_insert (parentHandle, handle, index); if (!enabled) OS.gtk_widget_set_sensitive (parentHandle, false); OS.gtk_widget_show (handle); } void fixMenus (Decorations newParent) { if (menu != null) menu.fixMenus (newParent); } /** * Returns the widget accelerator. An accelerator is the bit-wise * OR of zero or more modifier masks and a key. Examples: * SWT.CONTROL | SWT.SHIFT | 'T', SWT.ALT | SWT.F2. * The default value is zero, indicating that the menu item does * not have an accelerator. * * @return the accelerator or 0 * * * @exception SWTException */ public int getAccelerator () { checkWidget(); return accelerator; } long /*int*/ getAccelGroup () { Menu menu = parent; while (menu != null && menu.cascade != null) { menu = menu.cascade.parent; } if (menu == null) return 0; Decorations shell = menu.parent; if (shell == null) return 0; return shell.menuBar == menu ? shell.accelGroup : 0; } /*public*/ Rectangle getBounds () { checkWidget(); if (!gtk_widget_get_mapped (handle)) { return new Rectangle (0, 0, 0, 0); } GtkAllocation allocation = new GtkAllocation (); gtk_widget_get_allocation (handle, allocation); int x = allocation.x; int y = allocation.y; int width = allocation.width; int height = allocation.height; return new Rectangle (x, y, width, height); } /** * Returns true if the receiver is enabled, and * false otherwise. A disabled menu item 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 gtk_widget_get_sensitive (handle); } /** * Gets the identifier associated with the receiver. * * @return the receiver's identifier * * @exception SWTException * * @since 3.7 */ public int getID () { checkWidget(); return userId; } /** * Returns the receiver's cascade menu if it has one or null * if it does not. Only CASCADE menu items can have * a pull down menu. The sequence of key strokes, button presses * and/or button releases that are used to request a pull down * menu is platform specific. * * @return the receiver's menu * * @exception SWTException */ public Menu getMenu () { checkWidget(); return menu; } String getNameText () { if ((style & SWT.SEPARATOR) != 0) return "|"; return super.getNameText (); } /** * Returns the receiver's parent, which must be a Menu. * * @return the receiver's parent * * @exception SWTException */ public Menu getParent () { checkWidget(); return parent; } /** * Returns true if the receiver is selected, * and false otherwise. *

* When the receiver is of type CHECK or RADIO, * it is selected when it is checked. * * @return the selection state * * @exception SWTException

*/ public boolean getSelection () { checkWidget(); if ((style & (SWT.CHECK | SWT.RADIO)) == 0) return false; return OS.gtk_check_menu_item_get_active(handle); } long /*int*/ gtk_activate (long /*int*/ widget) { if ((style & SWT.CASCADE) != 0 && menu != null) return 0; /* * Bug in GTK. When an ancestor menu is disabled and * the user types an accelerator key, GTK delivers the * the activate signal even though the menu item cannot * be invoked using the mouse. The fix is to ignore * activate signals when an ancestor menu is disabled. */ if (!isEnabled ()) return 0; if ((style & SWT.RADIO) != 0) { if ((parent.getStyle () & SWT.NO_RADIO_GROUP) == 0) { selectRadio (); } } sendSelectionEvent (SWT.Selection); return 0; } long /*int*/ gtk_select (long /*int*/ item) { parent.selectedItem = this; sendEvent (SWT.Arm); return 0; } long /*int*/ gtk_show_help (long /*int*/ widget, long /*int*/ helpType) { boolean handled = hooks (SWT.Help); if (handled) { postEvent (SWT.Help); } else { handled = parent.sendHelpEvent (helpType); } if (handled) { OS.gtk_menu_shell_deactivate (parent.handle); return 1; } return 0; } void hookEvents () { super.hookEvents (); OS.g_signal_connect_closure (handle, OS.activate, display.closures [ACTIVATE], false); OS.g_signal_connect_closure (handle, OS.select, display.closures [SELECT], false); OS.g_signal_connect_closure_by_id (handle, display.signalIds [SHOW_HELP], 0, display.closures [SHOW_HELP], false); } /** * Returns true if the receiver is enabled and all * of the receiver's ancestors are enabled, and false * otherwise. A disabled menu item 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 () { return getEnabled () && parent.isEnabled (); } void releaseChildren (boolean destroy) { if (menu != null) { menu.release (false); menu = null; } super.releaseChildren (destroy); } void releaseParent () { super.releaseParent (); if (menu != null) { if (menu.selectedItem == this) menu.selectedItem = null; menu.dispose (); } menu = null; } void releaseWidget () { super.releaseWidget (); long /*int*/ accelGroup = getAccelGroup (); if (accelGroup != 0) removeAccelerator (accelGroup); if (groupHandle != 0) OS.g_object_unref (groupHandle); groupHandle = 0; accelerator = 0; parent = null; } void removeAccelerator (long /*int*/ accelGroup) { updateAccelerator (accelGroup, false); } void removeAccelerators (long /*int*/ accelGroup) { removeAccelerator (accelGroup); if (menu != null) menu.removeAccelerators (accelGroup); } /** * Removes the listener from the collection of listeners who will * be notified when the arm events are generated for the control. * * @param listener the listener which should no longer be notified * * @exception IllegalArgumentException * @exception SWTException * * @see ArmListener * @see #addArmListener */ public void removeArmListener (ArmListener listener) { checkWidget(); if (listener == null) error (SWT.ERROR_NULL_ARGUMENT); if (eventTable == null) return; eventTable.unhook (SWT.Arm, listener); } /** * Removes the listener from the collection of listeners who will * be notified when the help events are generated for the control. * * @param listener the listener which should no longer be notified * * @exception IllegalArgumentException * @exception SWTException * * @see HelpListener * @see #addHelpListener */ public void removeHelpListener (HelpListener listener) { checkWidget(); if (listener == null) error (SWT.ERROR_NULL_ARGUMENT); if (eventTable == null) return; eventTable.unhook (SWT.Help, listener); } /** * 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 reskinChildren (int flags) { if (menu != null) { menu.reskin (flags); } super.reskinChildren (flags); } void selectRadio () { int index = 0; MenuItem [] items = parent.getItems (); while (index < items.length && items [index] != this) index++; int i = index - 1; while (i >= 0 && items [i].setRadioSelection (false)) --i; int j = index + 1; while (j < items.length && items [j].setRadioSelection (false)) j++; setSelection (true); } /** * Sets the widget accelerator. An accelerator is the bit-wise * OR of zero or more modifier masks and a key. Examples: * SWT.MOD1 | SWT.MOD2 | 'T', SWT.MOD3 | SWT.F2. * SWT.CONTROL | SWT.SHIFT | 'T', SWT.ALT | SWT.F2. * The default value is zero, indicating that the menu item does * not have an accelerator. * * @param accelerator an integer that is the bit-wise OR of masks and a key * * * @exception SWTException */ public void setAccelerator (int accelerator) { checkWidget(); if (this.accelerator == accelerator) return; long /*int*/ accelGroup = getAccelGroup (); if (accelGroup != 0) removeAccelerator (accelGroup); this.accelerator = accelerator; if (accelGroup != 0) addAccelerator (accelGroup); } /** * Enables the receiver if the argument is true, * and disables it otherwise. A disabled menu item 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 (gtk_widget_get_sensitive (handle) == enabled) return; long /*int*/ accelGroup = getAccelGroup (); if (accelGroup != 0) removeAccelerator (accelGroup); OS.gtk_widget_set_sensitive (handle, enabled); if (accelGroup != 0) addAccelerator (accelGroup); } /** * Sets the identifier associated with the receiver to the argument. * * @param id the new identifier. This must be a non-negative value. System-defined identifiers are negative values. * * @exception SWTException * * @since 3.7 */ public void setID (int id) { checkWidget(); if (id < 0) error(SWT.ERROR_INVALID_ARGUMENT); userId = id; } /** * Sets the image the receiver will display to the argument. *

* Note: This operation is a hint and is not supported on * platforms that do not have this concept (for example, Windows NT). * Furthermore, some platforms (such as GTK), cannot display both * a check box and an image at the same time. Instead, they hide * the image and display the check box. *

* * @param image the image to display * * @exception SWTException */ public void setImage (Image image) { checkWidget(); if ((style & SWT.SEPARATOR) != 0) return; super.setImage (image); if (!OS.GTK_IS_IMAGE_MENU_ITEM (handle)) return; if (image != null) { ImageList imageList = parent.imageList; if (imageList == null) imageList = parent.imageList = new ImageList (); int imageIndex = imageList.indexOf (image); if (imageIndex == -1) { imageIndex = imageList.add (image); } else { imageList.put (imageIndex, image); } long /*int*/ pixbuf = imageList.getPixbuf (imageIndex); long /*int*/ imageHandle = OS.gtk_image_new_from_pixbuf (pixbuf); OS.gtk_image_menu_item_set_image (handle, imageHandle); OS.gtk_widget_show (imageHandle); } else { OS.gtk_image_menu_item_set_image (handle, 0); } } /** * Sets the receiver's pull down menu to the argument. * Only CASCADE menu items can have a * pull down menu. The sequence of key strokes, button presses * and/or button releases that are used to request a pull down * menu is platform specific. *

* Note: Disposing of a menu item that has a pull down menu * will dispose of the menu. To avoid this behavior, set the * menu to null before the menu item is disposed. *

* * @param menu the new pull down menu * * @exception IllegalArgumentException * @exception SWTException */ public void setMenu (Menu menu) { checkWidget (); /* Check to make sure the new menu is valid */ if ((style & SWT.CASCADE) == 0) { error (SWT.ERROR_MENUITEM_NOT_CASCADE); } if (menu != null) { if ((menu.style & SWT.DROP_DOWN) == 0) { error (SWT.ERROR_MENU_NOT_DROP_DOWN); } if (menu.parent != parent.parent) { error (SWT.ERROR_INVALID_PARENT); } } /* Assign the new menu */ Menu oldMenu = this.menu; if (oldMenu == menu) return; long /*int*/ accelGroup = getAccelGroup (); if (accelGroup != 0) removeAccelerators (accelGroup); if (oldMenu != null) { oldMenu.cascade = null; /* * Add a reference to the menu we are about * to replace or GTK will destroy it. */ OS.g_object_ref (oldMenu.handle); if (OS.GTK_VERSION >= OS.VERSION(2, 12, 0)) { OS.gtk_menu_item_set_submenu (handle, 0); } else { OS.gtk_menu_item_remove_submenu (handle); } } if ((this.menu = menu) != null) { menu.cascade = this; OS.gtk_menu_item_set_submenu (handle, menu.handle); } if (accelGroup != 0) addAccelerators (accelGroup); } void setOrientation (boolean create) { super.setOrientation (create); if ((parent.style & SWT.RIGHT_TO_LEFT) != 0 || !create) { int dir = (parent.style & SWT.RIGHT_TO_LEFT) != 0 ? OS.GTK_TEXT_DIR_RTL : OS.GTK_TEXT_DIR_LTR; OS.gtk_widget_set_direction (handle, dir); OS.gtk_container_forall (handle, display.setDirectionProc, dir); if (menu != null) menu._setOrientation (parent.style & (SWT.RIGHT_TO_LEFT | SWT.LEFT_TO_RIGHT)); } } boolean setRadioSelection (boolean value) { if ((style & SWT.RADIO) == 0) return false; if (getSelection () != value) { setSelection (value); sendSelectionEvent (SWT.Selection); } return true; } /** * Sets the selection state of the receiver. *

* When the receiver is of type CHECK or RADIO, * it is selected when it is checked. * * @param selected the new selection state * * @exception SWTException

*/ public void setSelection (boolean selected) { checkWidget(); if ((style & (SWT.CHECK | SWT.RADIO)) == 0) return; OS.g_signal_handlers_block_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, ACTIVATE); OS.gtk_check_menu_item_set_active (handle, selected); if ((style & SWT.RADIO) != 0) OS.gtk_check_menu_item_set_active (groupHandle, !selected); OS.g_signal_handlers_unblock_matched (handle, OS.G_SIGNAL_MATCH_DATA, 0, 0, 0, 0, ACTIVATE); } /** * Sets the receiver's text. The string may include * the mnemonic character and accelerator text. *

* 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. *

*

* Accelerator text is indicated by the '\t' character. * On platforms that support accelerator text, the text * that follows the '\t' character is displayed to the user, * typically indicating the key stroke that will cause * the item to become selected. On most platforms, the * accelerator text appears right aligned in the menu. * Setting the accelerator text does not install the * accelerator key sequence. The accelerator key sequence * is installed using #setAccelerator. *

* * @param string the new text * * @exception IllegalArgumentException * @exception SWTException * * @see #setAccelerator */ public void setText (String string) { checkWidget(); if (string == null) error (SWT.ERROR_NULL_ARGUMENT); if ((style & SWT.SEPARATOR) != 0) return; if (text.equals (string)) return; super.setText (string); String accelString = ""; int index = string.indexOf ('\t'); if (index != -1) { boolean isRTL = (parent.style & SWT.RIGHT_TO_LEFT) != 0; accelString = (isRTL? "" : " ") + string.substring (index+1, string.length()) + (isRTL? " " : ""); string = string.substring (0, index); } char [] chars = fixMnemonic (string); byte [] buffer = Converter.wcsToMbcs (null, chars, true); long /*int*/ label = OS.gtk_bin_get_child (handle); if (label != 0 && OS.GTK_IS_LABEL(label)) { OS.gtk_label_set_text_with_mnemonic (label, buffer); if (!OS.GTK3) { if (OS.GTK_IS_ACCEL_LABEL(label)) { buffer = Converter.wcsToMbcs (null, accelString, true); long /*int*/ ptr = OS.g_malloc (buffer.length); OS.memmove (ptr, buffer, buffer.length); long /*int*/ oldPtr = OS.GTK_ACCEL_LABEL_GET_ACCEL_STRING (label); OS.GTK_ACCEL_LABEL_SET_ACCEL_STRING (label, ptr); if (oldPtr != 0) OS.g_free (oldPtr); } } } } void updateAccelerator (long /*int*/ accelGroup, boolean add) { if (accelerator == 0 || !getEnabled ()) return; if ((accelerator & SWT.COMMAND) != 0) return; int mask = 0; if ((accelerator & SWT.ALT) != 0) mask |= OS.GDK_MOD1_MASK; if ((accelerator & SWT.SHIFT) != 0) mask |= OS.GDK_SHIFT_MASK; if ((accelerator & SWT.CONTROL) != 0) mask |= OS.GDK_CONTROL_MASK; int keysym = accelerator & SWT.KEY_MASK; int newKey = Display.untranslateKey (keysym); if (newKey != 0) { keysym = newKey; } else { switch (keysym) { case '\r': keysym = OS.GDK_Return; break; default: keysym = Display.wcsToMbcs ((char) keysym); } } /* When accel_key is zero, it causes GTK warnings */ if (keysym != 0) { if (add) { OS.gtk_widget_add_accelerator (handle, OS.activate, accelGroup, keysym, mask, OS.GTK_ACCEL_VISIBLE); } else { OS.gtk_widget_remove_accelerator (handle, accelGroup, keysym, mask); } } } boolean updateAcceleratorText (boolean show) { if (accelerator != 0) return false; int mask = 0, keysym = 0; if (show) { int accelIndex = text.indexOf ('\t'); if (accelIndex == -1) return true; int start = accelIndex + 1; int plusIndex = text.indexOf('+', start); while (plusIndex != -1) { String maskStr = text.substring(start, plusIndex); if (maskStr.equals("Ctrl")) mask |= OS.GDK_CONTROL_MASK; if (maskStr.equals("Shift")) mask |= OS.GDK_SHIFT_MASK; if (maskStr.equals("Alt")) mask |= OS.GDK_MOD1_MASK; start = plusIndex + 1; plusIndex = text.indexOf('+', start); } switch (text.length() - start) { case 1: keysym = text.charAt(start); keysym = Display.wcsToMbcs ((char) keysym); break; case 2: if (text.charAt(start) == 'F') { switch (text.charAt(start + 1)) { case '1': keysym = OS.GDK_F1; break; case '2': keysym = OS.GDK_F2; break; case '3': keysym = OS.GDK_F3; break; case '4': keysym = OS.GDK_F4; break; case '5': keysym = OS.GDK_F5; break; case '6': keysym = OS.GDK_F6; break; case '7': keysym = OS.GDK_F7; break; case '8': keysym = OS.GDK_F8; break; case '9': keysym = OS.GDK_F9; break; } } break; case 3: if (text.charAt(start) == 'F' && text.charAt(start + 1) == '1') { switch (text.charAt(start + 2)) { case '0': keysym = OS.GDK_F10; break; case '1': keysym = OS.GDK_F11; break; case '2': keysym = OS.GDK_F12; break; case '3': keysym = OS.GDK_F13; break; case '4': keysym = OS.GDK_F14; break; case '5': keysym = OS.GDK_F15; break; } } break; } } if (keysym != 0) { long /*int*/ accelGroup = getAccelGroup (); if (show) { OS.gtk_widget_add_accelerator (handle, OS.activate, accelGroup, keysym, mask, OS.GTK_ACCEL_VISIBLE); } else { OS.gtk_widget_remove_accelerator (handle, accelGroup, keysym, mask); } } return keysym != 0; } }