Repository navigation

update widgets bar to be MUCH more responsive - #2311

Merged

sawka merged 9 commits into

mainfrom

sawka/widgetsbar

Aug 29, 2025

Merged

update widgets bar to be MUCH more responsive#2311
sawka merged 9 commits into
mainfrom
sawka/widgetsbar

Commits on Aug 29, 2025
- split workspace into workspace/widgets files
  sawka
  committed
  e79af22
- Merge remote-tracking branch 'origin/main' into sawka/widgetsbar
  sawka
  committed
  bf6ddce
- update widget tooltip to use our new component
  sawka
  committed
  b20be4f
- fix shrinking behavior for widget bar
  sawka
  committed
  3b2ceee
- tooltip disable prop
  sawka
  committed
  3d4409c
- compact mode, remove labels, ellipsis truncation, auto-tooltip
  sawka
  committed
  196e5c7
- supercompact mode for widgets as well
  sawka
  committed
  48b98d2
- convert notification popover to tailwind
  sawka
  committed
  b87037e
- slight tweak to padding
  sawka
  committed
  12e7f8c