gui_toolkit 0.93.0

Changed

• The wheel scrolls as the system says: a notch moves platform.wheel_lines() lines (Windows' setting, lines per notch, characters across; three on Linux), each ui.WHEEL_LINE_PX (100/3 logical px, a browser's line) at the window's scale, in whole pixels; where the system says a page, a page less a line. Every view scrolls by ui.wheel_step(box, axis), text fields too. Before, a notch was 4 em of the box's font whatever the setting.

Fixed

• A tab is drawn as space: font.TAB_SPACES (4) spaces wide, the same wherever it is (measured as shown), with a space's glyph. Fonts have no glyph for it: it was drawn as a missing one (a box) in code and in tools' output.