Repository navigation

Zoom the query editor and database tree - #115

Merged

christianhelle merged 13 commits into

Sep 5, 2026

Commits on Sep 4, 2026
- add a clamped zoom level value type
  christianhelle
  committed
  f7c3ab3
- apply a zoom level to registered widgets
  christianhelle
  committed
  58f376b
- zoom targets on ctrl and mouse wheel
  christianhelle
  committed
  1244c7f
- add a view menu that zooms the editor and the tree
  christianhelle
  committed
  80397c5
- pass the window state to settings as one struct
  christianhelle
  committed
  12315a7
- remember the zoom level between runs
  christianhelle
  committed
  99c6c1a
- drop the duplicate zoom shortcut sequences
  christianhelle
  committed
  bd1af0f
- document zoom in the readme feature list
  christianhelle
  committed
  e9d2097
- ignore a widget that is already a zoom target
  christianhelle
  committed
  b742efa
- report whether a zoom presenter holds the focus
  christianhelle
  committed
  3f6986a
- zoom the editor and the tree independently
  christianhelle
  committed
  afaeb80
- describe per-pane zoom in the readme
  christianhelle
  committed
  42c9537
- find the focused zoom target with any_of
  christianhelle
  committed
  179b9ff