Thread overview | |||||
---|---|---|---|---|---|
|
February 07, 2021 Is it possible to implement Font & Font size changing feature in D Online editor ? | ||||
---|---|---|---|---|
| ||||
Hi all, Is it possible to implement Font & Font size changing feature in D Online editor ? |
February 07, 2021 Re: Is it possible to implement Font & Font size changing feature in D Online editor ? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Vinod K Chandran | 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/ |
February 07, 2021 Re: Is it possible to implement Font & Font size changing feature in D Online editor ? | ||||
---|---|---|---|---|
| ||||
Posted in reply to Paul Backus | On Sunday, 7 February 2021 at 18:44:35 UTC, Paul Backus wrote:
>
Thank you. Let me try it.
|
Copyright © 1999-2021 by the D Language Foundation