diff options
| author | Dan Gudmundsson <[email protected]> | 2011-03-07 14:43:32 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2011-03-07 14:43:43 +0100 |
| commit | f85c79166c0fcf39eaab62e39f392aa7ce83c9bf (patch) | |
| tree | b788b0986f13c700a380f325fecd5a08550dcc01 /lib/debugger/src/dbg_wx_view.erl | |
| parent | 422c3eda25ce9cb67a815aac5b0254432b0d44f7 (diff) | |
| parent | 728d949df2ce88587371d353b4379e3d349b0066 (diff) | |
| download | otp-f85c79166c0fcf39eaab62e39f392aa7ce83c9bf.tar.gz otp-f85c79166c0fcf39eaab62e39f392aa7ce83c9bf.tar.bz2 otp-f85c79166c0fcf39eaab62e39f392aa7ce83c9bf.zip | |
Merge branch 'dgud/dialyzer-fixes' into dev
OTP-9107
Diffstat (limited to 'lib/debugger/src/dbg_wx_view.erl')
| -rw-r--r-- | lib/debugger/src/dbg_wx_view.erl | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/lib/debugger/src/dbg_wx_view.erl b/lib/debugger/src/dbg_wx_view.erl index 8ff89a4847..6242b9d0e0 100644 --- a/lib/debugger/src/dbg_wx_view.erl +++ b/lib/debugger/src/dbg_wx_view.erl @@ -1,7 +1,7 @@ %% %% %CopyrightBegin% %% -%% Copyright Ericsson AB 2008-2009. All Rights Reserved. +%% Copyright Ericsson AB 2008-2011. All Rights Reserved. %% %% The contents of this file are subject to the Erlang Public License, %% Version 1.1, (the "License"); you may not use this file except in @@ -46,6 +46,9 @@ start(GS, Mod) -> spawn_link(fun () -> init(GS, Env, Mod, Title) end) end. +-spec stop() -> no_return(). +stop() -> + exit(normal). %%==================================================================== %% Main loop and message handling @@ -113,13 +116,13 @@ loop(State) -> end. %%--Commands from the GUI--------------------------------------------- - + gui_cmd(ignore, State) -> State; gui_cmd({win, Win}, State) -> State#state{win=Win}; gui_cmd(stopped, _State) -> - exit(normal); + stop(); gui_cmd({coords, Coords}, State) -> State#state{coords=Coords}; @@ -132,7 +135,7 @@ gui_cmd({shortcut, Key}, State) -> %% File menu gui_cmd('Close', State) -> dbg_wx_trace_win:stop(State#state.win), - gui_cmd(stopped, State); + stop(); %% Edit menu gui_cmd('Go To Line', State) -> |