From 1756b9f6c51f8f691cfd57aec694fbd990a0a126 Mon Sep 17 00:00:00 2001 From: Luke Street Date: Sun, 8 Dec 2024 21:42:33 -0700 Subject: [PATCH] Repaint after view action --- objdiff-gui/src/app.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/objdiff-gui/src/app.rs b/objdiff-gui/src/app.rs index dbc56ac..d6f6b66 100644 --- a/objdiff-gui/src/app.rs +++ b/objdiff-gui/src/app.rs @@ -484,6 +484,10 @@ impl App { } fn post_update(&mut self, ctx: &egui::Context, action: Option) { + if action.is_some() { + ctx.request_repaint(); + } + self.appearance.post_update(ctx); let ViewState { jobs, diff_state, config_state, graphics_state, .. } = &mut self.view_state;