call need_render while menu selection changing
update notebook menu behaviour to match usual dropdown menu behaviours
remove a debug printf
update simple_theme to show the number of notebooked window in dropdown menu button