Re: [netlogo-devel] Edit code editor styling

2021-03-21 Thread John Chen
Love your idea! Stan van der Bend 于2021年3月21日周日 下午3:26写道: > > Ah that makes total sense! Thank you sir :) > > Would be nice if the community could share themes with others. I am > definitely going to make a beautiful one. But I might make a new > conversation for that when I am done. > On

Re: [netlogo-devel] Edit code editor styling

2021-03-21 Thread Stan van der Bend
Ah that makes total sense! Thank you sir :) Would be nice if the community could share themes with others. I am definitely going to make a beautiful one. But I might make a new conversation for that when I am done. On Sunday, 21 March 2021 at 21:23:46 UTC+1 John Chen wrote: > The easiest

Re: [netlogo-devel] Edit code editor styling

2021-03-21 Thread John Chen
The easiest thing could be to export a standalone NetLogo Web page and modify the stylesheet there. The NLW editor is based on CodeMirror 5, and you can override the stylesheet to achieve what you want. Stan van der Bend 于2021年3月21日周日 下午3:21写道: > Thanks for the quick response. Does this

Re: [netlogo-devel] Edit code editor styling

2021-03-21 Thread Stan van der Bend
Thanks for the quick response. Does this require me to clone this repository: https://github.com/NetLogo/Galapagos and edit the style file from there. Or can I simply modify the stylesheet without having to build the application myself? If I do have to build it myself, could you point me to

Re: [netlogo-devel] Edit code editor styling

2021-03-21 Thread John Chen
If you are using NetLogo Web, it is configurable. John Chen Stan van der Bend 于2021年3月21日周日 下午3:06写道: > Hello, is it possible to modify the styling of the code-editor, e.g. > through css? > I work a lot at night times and the whiteness of the UI messes with my > eyes. > > -- > You received