set undomenu_items {
GuidoMenuItem item2 {
-label "Disable undo"
-command server "UNDO OFF"
}
GuidoMenuItem undo_many {
-label "Undo many actions"
-command server "UNDO MANY"
}
}
GuidoMenu undomenu {
-label "Undo properties"
-delayed_script $undomenu_items
}
