diff options
author | Dan Gudmundsson <[email protected]> | 2011-11-24 12:54:13 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2011-11-24 12:54:13 +0100 |
commit | d7eaea0d44fac1f0c67d67c188d6a635b0a4da4c (patch) | |
tree | 29acee8c984b45dc674bacc5191b5d6724bf4f55 /lib/observer/src/observer_lib.erl | |
parent | fcda85751547c4dbcea92f1142186ec9d571ba82 (diff) | |
download | otp-d7eaea0d44fac1f0c67d67c188d6a635b0a4da4c.tar.gz otp-d7eaea0d44fac1f0c67d67c188d6a635b0a4da4c.tar.bz2 otp-d7eaea0d44fac1f0c67d67c188d6a635b0a4da4c.zip |
[observer] Add more trace functionality
Add logging output options, to file, shell or log-window.
Add remove/change process options, trace patterns via right-click.
Show traced nodes.
Add possibility to add named processes, which will be traced on all nodes.
Add menu to log window
Diffstat (limited to 'lib/observer/src/observer_lib.erl')
-rw-r--r-- | lib/observer/src/observer_lib.erl | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/lib/observer/src/observer_lib.erl b/lib/observer/src/observer_lib.erl index 90c270e977..3096741c6f 100644 --- a/lib/observer/src/observer_lib.erl +++ b/lib/observer/src/observer_lib.erl @@ -239,15 +239,21 @@ create_menu(Name, MenuItems, Index, MenuBar, _Type) -> create_menu_item(#create_menu{id = ?wxID_HELP=Id}, Menu, Index) -> wxMenu:insert(Menu, Index, Id), Index+1; -create_menu_item(#create_menu{id = Id, text = Text, type = Type, check = Check}, Menu, Index) -> +create_menu_item(#create_menu{id=Id, text=Text, help=Help, type=Type, check=Check}, + Menu, Index) -> + Opts = case Help of + [] -> []; + _ -> [{help, Help}] + end, case Type of append -> - wxMenu:insert(Menu, Index, Id, [{text, Text}]); + wxMenu:insert(Menu, Index, Id, + [{text, Text}|Opts]); check -> - wxMenu:insertCheckItem(Menu, Index, Id, Text), + wxMenu:insertCheckItem(Menu, Index, Id, Text, Opts), wxMenu:check(Menu, Id, Check); radio -> - wxMenu:insertRadioItem(Menu, Index, Id, Text), + wxMenu:insertRadioItem(Menu, Index, Id, Text, Opts), wxMenu:check(Menu, Id, Check); separator -> wxMenu:insertSeparator(Menu, Index) |