Emil Ernerfeldt 127931ba45 eframe: rename quit/exit to "close" (#1943) ... Since https://github.com/emilk/egui/pull/1919 we can continue the application after closing the native window. It therefore makes more sense to call `frame.close()` to close the native window, instead of `frame.quit()`.		2022-08-20 16:08:59 +02:00
..
main.rs	eframe: rename quit/exit to "close" (#1943)	2022-08-20 16:08:59 +02:00