3.9  checkable-menu-item%

Implements: selectable-menu-item<%>

A checkable-menu-item% is a string-labelled menu item that maintains a check mark. Its parent must be a menu% or popup-menu%. When the user selects the menu item, the item's check mark is toggled and its callback procedure is called.

• (new checkable-menu-item% (label _) (parent _) (callback _) [(shortcut _)] [(help-string _)] [(demand-callback _)] [(checked _)] [(shortcut-prefix _)]) -> checkable-menu-item% object
     label : string (up to 200 characters)
     parent : menu% or popup-menu% object
     callback : procedure of two arguments: a menu-item% object and a control-event% object
     shortcut = #f : character or #f
   help-string = #f : string (up to 200 characters) or #f
   demand-callback = void : procedure of one argument: a checkable-menu-item% object
     checked = #f : boolean
     shortcut-prefix = (get-default-shortcut-prefix) : list of symbols in '(alt cmd meta ctl shift option)

  Creates a new menu item in parent. The item is initially shown, appended to the end of its parent, and unchecked. The callback procedure is called (with the event type 'menu) when the menu item is selected (either via a menu bar, popup-menu in window<%>, or popup-menu in editor-admin%).

  See set-label for information about mnemonic ampersands (``&'') in label.

  If shortcut is not #f, the item has a shortcut. See get-shortcut for more information. The shortcut-prefix argument determines the set of modifier keys for the shortcut; see get-shortcut-prefix.

  If help-string is not #f, the item has a help string. See get-help-string for more information.

  The demand-callback procedure is called by the default on-demand method with the object itself.

  By default, the menu item is initially unchecked. If checked is true, then check is called so that the menu item is initially checked.

  
  

Methods
    check
    is-checked?

All Methods
    check from checkable-menu-item%
    command from selectable-menu-item<%>
    delete from menu-item<%>
    enable from labelled-menu-item<%>
    get-help-string from labelled-menu-item<%>
    get-label from labelled-menu-item<%>
    get-parent from menu-item<%>
    get-plain-label from labelled-menu-item<%>
    get-shortcut from selectable-menu-item<%>
    get-shortcut-prefix from selectable-menu-item<%>
    is-checked? from checkable-menu-item%
    is-deleted? from menu-item<%>
    is-enabled? from labelled-menu-item<%>
    on-demand from labelled-menu-item<%>
    restore from menu-item<%>
    set-help-string from labelled-menu-item<%>
    set-label from labelled-menu-item<%>
    set-shortcut from selectable-menu-item<%>
    set-shortcut-prefix from selectable-menu-item<%>