
* tear-off of menus with radiobutton or checkbuton items is broken
  again.
