[Feature Request]: Add possibility to change DevTools font

[pmadhur]

Preflight Checklist

• I have read the Contributing Guidelines for this project.
• I agree to follow the Code of Conduct that this project adheres to.
• I have searched the issue tracker for a feature request that matches the one I want to file, without success.

Problem Description

The default font/size of DevTools seems to be changed in the latest stable version (30.0.2). See below the comparision between 29.3.2 and 30.0.2 (tried out with Electron Fiddle). 30.0.2 seems to have different background color and font.

29.3.2:

30.0.2:

Proposed Solution

Similar to BrowserView WebPreferences, defaultFontFamily and defaultFontSize, add defaultDevToolsFontFamily defaultDevToolsFontSize. Or add a method in webContents to set the default font/size.

Alternatives Considered

Could not find any possibility to change the DevTools font family/size.

Additional Information

No response

[thorsent]

Chrome 124.0.6367.207 vs. Electron: