feat: double click on separator to reset size#146

Merged

Adanos020 merged 3 commits intoAdanos020:release-0.7from zkrising:zkldi/doubleclick-to-reset

Jul 1, 2023

+6-2

Commits on Jun 16, 2023

Update egui version in badge
Adanos020
committed

Commits on Jun 30, 2023