v0.2.0

rudbman 0.2.0 — the same workbench on a newer, shared foundation.

• Built on Zed's current gpui. rudbman now builds against a pinned revision
  of Zed's monorepo instead of the year-old crates.io release, which brings the
  wgpu renderer on Linux and lets several local patches go. What you notice:
  paste reads the clipboard asynchronously, so a slow clipboard owner on
  Wayland no longer stalls the window; the title bar places its buttons where
  your desktop puts them (GNOME/KDE, left or right, in order) and follows a
  change; a sideways wheel over the result grid moves the columns and nothing
  else, and over every vertical-only surface — the tree, dialog lists,
  dropdowns — it no longer scrolls up and down; KWin's blur-behind and X11
  client-side decorations composite correctly.
• A quoted identifier no longer splits the statement under the caret. A
  "name" or `name` holding a ; is opaque to the statement splitter and
  the bracket matcher, the way a string already was, while still painting as an
  identifier.
• Shared foundation. The widget kit, the result grid, the SQL editor, the
  window that draws its own title bar, the settings and theme editors and the
  self-updater are now rugpui, the library
  rudbman, rudbgen and rulogman all draw with — a fix made once lands in each
  of them. With it comes the updater's corrected restart: after an in-place
  update, macOS reopens the application bundle and Linux launches the newly
  installed binary rather than the copy just renamed aside.

The Windows installer's identity, its registry entry and the winget manifests
are unchanged, so winget upgrade and the built-in updater both pick this
release up from 0.1.9.

What's Changed

• fix(ui): keep a sideways wheel off the vertical axis by @xcomart in #24
• Build on Zed's upstream gpui and adopt its new features by @xcomart in #25
• Take the widget kit, the grid and the editor from ruui by @xcomart in #26
• Take the window shell, the updater and the theme editor from ruui-shell by @xcomart in #27
• Follow the ruui → rugpui rename by @xcomart in #28
• Release 0.2.0 by @xcomart in #29

Full Changelog: v0.1.9...v0.2.0