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.
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 &s 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 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.
Checks or unchecks the menu item.
A menu item’s check state can be changed
by the user selecting the item, and such changes do not go through this method; use the menu item callback procedure (provided as an initialization argument) to
monitor check state changes.
Returns #t if the item is checked, #f otherwise.