Skip to content

eframe: rename quit/exit to "close"#1943

Merged
emilk merged 3 commits intomasterfrom
close
Aug 20, 2022
Merged

eframe: rename quit/exit to "close"#1943
emilk merged 3 commits intomasterfrom
close

Conversation

@emilk
Copy link
Copy Markdown
Owner

@emilk emilk commented Aug 20, 2022

Since #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().

emilk added 3 commits August 20, 2022 15:29
Since #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()`.
@emilk emilk merged commit 127931b into master Aug 20, 2022
@emilk emilk deleted the close branch August 20, 2022 14:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant