diff options
author | Dan Gudmundsson <[email protected]> | 2012-06-19 10:34:55 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2012-06-19 10:34:55 +0200 |
commit | 91e67488391eee5f330da55339d46673848b9777 (patch) | |
tree | 4e149ddc2fe60f5fb7105c46e9913b384505ec50 /lib/observer/src/observer_tv_table.erl | |
parent | 67d2e30e77db74d0852421c21362d1a9374780e1 (diff) | |
download | otp-91e67488391eee5f330da55339d46673848b9777.tar.gz otp-91e67488391eee5f330da55339d46673848b9777.tar.bz2 otp-91e67488391eee5f330da55339d46673848b9777.zip |
Fix process_info from app tab on other nodes
Diffstat (limited to 'lib/observer/src/observer_tv_table.erl')
-rw-r--r-- | lib/observer/src/observer_tv_table.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/observer/src/observer_tv_table.erl b/lib/observer/src/observer_tv_table.erl index 3930f9ee26..f18d346f83 100644 --- a/lib/observer/src/observer_tv_table.erl +++ b/lib/observer/src/observer_tv_table.erl @@ -265,7 +265,8 @@ handle_event(#wx{id=?ID_DELETE}, wxStatusBar:setStatusText(StatusBar, io_lib:format("Deleted object: ~s",[Str])), {noreply, State}; -handle_event(#wx{id=?wxID_CLOSE}, State) -> +handle_event(#wx{id=?wxID_CLOSE}, State = #state{frame=Frame}) -> + wxFrame:destroy(Frame), {stop, normal, State}; handle_event(Help = #wx{id=?wxID_HELP}, State) -> |