set digitisertabletmenu_items {
GuidoMenuItem item6 {
-label "Disconnect from tablet"
-icon "icons/16/digitiser_end_tablet_digitising.png"
-command server "DIGITISER END"
}
GuidoSeparator sep1 {
}
GuidoMenuItem item11 {
-label "End Configuration"
-icon "icons/16/digitiser_end_tablet_configuration.png"
-command server "DIGITISER END"
}
}
GuidoMenu digitisertabletmenu {
-label "Digitiser tablet"
-delayed_script $digitisertabletmenu_items
}
