I have this snippet as part of my Tk menu bar spec:

      ['Options',
         ['Display Map', proc {show_map()}],
         ['Hide Map', proc {hide_map()}]

How can I combine those two menu options into a single checkbutton
menu option?  The API documentation on it wasn't clear at all.

Thanks,
Joe