calendarGUI: don't change the menu state when editing an event's category in the week view.
menuGUI: when printing title with PrintMiniMini, print it bold.