| Log Message: |
(popup_dialog_box): New config
variable to indicate whether the result should be shown in a
dialog box
(profile_screen_renderer, time_screen_renderer): Only show a
dialog box if popup_dialog_box is true.
(profile_screen_renderer): Flush stdout after the printing the
first part of the "profiling..." message
|
trunk/thuban/Extensions/profiling/profiling.py