Make tetengo2::gui::menu::shortcut_key_table::details() non-optional
Make tetengo2::gui::widget::widget::details() non-optional