File 0821-Observer-Fix-exit-command-button-to-allow-window-to-.patch of Package erlang
From addae97150c89c33442e3e4bd9e69227a20d64f9 Mon Sep 17 00:00:00 2001
From: Thomas Lawlor <wildbartty@gmail.com>
Date: Sun, 2 Jul 2023 15:03:06 +1000
Subject: [PATCH 1/3] Observer: Fix exit command button to allow window to
close correctly
---
lib/observer/src/observer_trace_wx.erl | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/lib/observer/src/observer_trace_wx.erl b/lib/observer/src/observer_trace_wx.erl
index 5b4e98a909..44e0b07fd7 100644
--- a/lib/observer/src/observer_trace_wx.erl
+++ b/lib/observer/src/observer_trace_wx.erl
@@ -398,6 +398,10 @@ handle_event(#wx{id=Id, obj=LogWin, event=Ev},
{noreply, State}
end;
+handle_event(#wx{id=?wxID_CLOSE, obj=Obj, event=#wxCommand{type=command_menu_selected}} = Event, State) ->
+ wxWindow:close(Obj, []),
+ {noreply, State};
+
handle_event(#wx{id=?LOG_CLEAR, userData=TCtrl}, State) ->
wxTextCtrl:clear(TCtrl),
{noreply, State};
--
2.35.3