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 <stanvdb...@gmail.com> 于2021年3月21日周日 下午3:21写道： > 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 some resources on how to set it up (I could not find any clear > instructions in the readme or wiki pages of the netlogo repo.. I am not > familiar with scala nor groovy (though I am familiar with > Java/Gradle/Maven/Kotlin). > > Thanks again. > On Sunday, 21 March 2021 at 21:08:03 UTC+1 John Chen wrote: > >> If you are using NetLogo Web, it is configurable. >> >> John Chen >> >> Stan van der Bend <stanv...@gmail.com> 于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 this message because you are subscribed to the Google >>> Groups "netlogo-devel" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to netlogo-deve...@googlegroups.com. >>> To view this discussion on the web visit >>> https://groups.google.com/d/msgid/netlogo-devel/0ed1b455-1f32-49bf-b35f-221ac5403111n%40googlegroups.com >>> <https://groups.google.com/d/msgid/netlogo-devel/0ed1b455-1f32-49bf-b35f-221ac5403111n%40googlegroups.com?utm_medium=email&utm_source=footer> >>> . >>> >> -- > You received this message because you are subscribed to the Google Groups > "netlogo-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to netlogo-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/netlogo-devel/1d621310-1e0b-4b8f-b613-7cfe95c71c09n%40googlegroups.com > <https://groups.google.com/d/msgid/netlogo-devel/1d621310-1e0b-4b8f-b613-7cfe95c71c09n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "netlogo-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to netlogo-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/netlogo-devel/CAJ_UcvzhjiafXnJjcZBW3VoOe_BDef2Y0CAvU2mPkdQV8grBcA%40mail.gmail.com.
