[REV] ir_ui_menu: coding-style changes reverted, because not necessary. Only a store...