Is it possible to implement Font & Font size changing feature in D Online editor ?

Paul Backus snarwin at gmail.com
Sun Feb 7 18:44:35 UTC 2021


On Sunday, 7 February 2021 at 17:41:02 UTC, Vinod K Chandran 
wrote:
> Hi all,
> Is it possible to implement Font & Font size changing feature 
> in D Online editor ?

You mean run.dlang.io? The easiest way would be to use an 
extension like Stylebot for Chrome [1] or Stylus for Firefox [2] 
to modify the CSS, with a rule like the following:

.CodeMirror {
     font-family: "Helvetica";
     font-size: 14pt;
}

Of course, you can change the font name and size to whatever you 
prefer.

[1] 
https://chrome.google.com/webstore/detail/stylebot/oiaejidbmkiecgbjeifoejpgmdaleoha?hl=en-US
[2] https://addons.mozilla.org/en-US/firefox/addon/styl-us/


More information about the Digitalmars-d mailing list