User interface customization
Profiler interface can be customized via Settings | User Interface....
-
"Path to web browser". Specifies the command to start your favorite web browser from the profiler, e.g. to show Help. Macro $URL$ represents the URL of a local file or web resource to be opened.
-
"General and menu fonts". Customize font type and size.
Note: This action is not available on Windows and Mac OS X. Manual configuration is not needed for these systems, because system settings can be obtained automatically.