migrations/egui
1
0
Fork 0
mirror of https://github.com/emilk/egui.git synced 2026-09-01 14:20:04 -04:00
Code Activity

Keep track of why request_discard was called (#5134)

Browse Source 
This will help debug spurious calls to it
This commit is contained in:
Emil Ernerfeldt
2024-09-20 09:17:52 +02:00
committed by GitHub
parent 0f290b4904
commit 06f709481a
6 changed files with 88 additions and 41 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
crates/egui_demo_app/src/backend_panel.rs
View File

@@ -164,7 +164,7 @@ impl BackendPanel {
ui.horizontal(|ui| {
if ui.button("Request discard").clicked() {
ui.ctx().request_discard();
ui.ctx().request_discard("Manual button click");
if !ui.ctx().will_discard() {
ui.label("Discard denied!");