Community
Participate
Working Groups
To match all of the other default settings for fonts, the default setting for the external tools console font should be the workbench text font (see WorkbenchChainedTextFontFieldEditor).
*** Bug 13027 has been marked as a duplicate of this bug. ***
The new external tool support will use the debug console and therefore its preferences. Note: new external tool work is not yet released to the head stream and won't for a while yet.
This has not been fixed and should not have been closed.
Fixed (when using new launch config support).
Please verify, Darin S
Verified.