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