Make tetengo2::gui::cursor::details() non-optional
Correct lint warnings