gui_toolkit 0.69.0

Added

• Menus taller than the window scroll: a level (menu, submenu, nested menu, dropdown list) whose content is taller than the window is as tall as the window, placed again at each frame (a window made shorter while it is open), and scrolls: the wheel, its scroll bar (a press on it is not a press outside; the rows leave it room), the keyboard's selection brought into view (Up / Down / Home / End / Page Up / Page Down, type-ahead to a hidden row, a dropdown's current value from menu_select). A menu that fits is placed as before (flipped to the other side of its anchor, else shifted to stay whole). ui.menu_item_rect(depth, idx): where an item was laid out. Tests menu_taller_than_the_window_scrolls, menu_near_the_bottom_flips_or_shifts

Changed

• Menus are dense: MENU_ITEM_EM is 1.9 (was 2.2): rows of 29 px for 15 px text, as Windows 11's and Chrome's menus (times the density: 22 px at DENSITY_COMPACT, 34 px at DENSITY_MAX); the padding above the first item and below the last is 0.25 em (was 0.3), a separator's gaps 0.2 em (were 0.25); the icon cell is as tall as the row. Test menu_rows_follow_the_density