Love your idea! Stan van der Bend <stanvdb...@gmail.com> 于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 Sunday, 21 March 2021 at 21:23:46 UTC+1 John Chen wrote: > >> 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 <stanv...@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-deve...@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/d9f10c3d-7094-438a-a2a0-279eeb58dae2n%40googlegroups.com > <https://groups.google.com/d/msgid/netlogo-devel/d9f10c3d-7094-438a-a2a0-279eeb58dae2n%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_UcvxqaqNwO3BORMbBkqOqvqZ%2B8P4eLuYaTL48KiQgC4aaUA%40mail.gmail.com.
