On 1/18/16, Lukasz Sokol <el.es.cr at gmail.com> wrote: > I'm with Howard here (and Matthias). It should be a default No if a change > can not be reversed by just Ctrl-Z or Undo. Obey widgetset behaviour. > if a change > can not be reversed by just Ctrl-Z or Undo. Implement Undo for the menu-desgner will be on the wish list then. Bart