On this page:
Checkable  Menu  Item

image

class

class gui.CheckableMenuItem():

  implements MenuChildView

  constructor (

   label :: ObsOrValue.of(View.LabelString),

   ~is_checked: is_checked :: ObsOrValue.of(Boolean) = #false,

   ~action: action :: () -> ~any = values,

   ~enable: enable :: ObsOrValue.of(Boolean) = #true,

   ~help: help_text :: ObsOrValue.of(maybe(View.LabelString)) = #false,

   ~shortcut: shortcut :: ObsOrValue.of(maybe(MenuItem.Shortcut))

                = #false

  )

Like MenuItem, but for a menu item that can have a checkmark.