Rework the Library popover: usable default size, search auto-expand, drag-resizable height - #247
Open
OmarB97 wants to merge 11 commits into
Open
Rework the Library popover: usable default size, search auto-expand, drag-resizable height#247OmarB97 wants to merge 11 commits into
OmarB97 wants to merge 11 commits into
Commits
Commits on Jul 27, 2026
- andcommitted
- committed
Omar Baradei
Commits on Jul 28, 2026
- committed
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- andcommitted
- committed
Omar Baradei