drscheme:debug:add-prefs-panel in DrScheme Tools Functions
drscheme:debug:add-prefs-panel
(drscheme:debug:add-prefs-panel) -> void?
(drscheme:debug:add-prefs-panel)
Adds the profiling preferences panel.