GRIN/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-07-10 00:37:27 +00:00
Code Issues Packages Projects Releases Wiki Activity
2,341 Commits 156 Branches 63 Tags
a472d147d62e0fb533aa4e6f5bc71e2e89539fa1
Commit Graph

1 Commits

Author SHA1 Message Date
Stanislav 64496cacb9 Graceful exit from web (#1650) 
Return a handle that can be used to stop a running egui instance.
 2022-08-02 17:42:55 +02:00