On Saturday, 28 May 2016 at 21:55:58 UTC, Basile B. wrote:
On Saturday, 28 May 2016 at 20:39:18 UTC, Bauss wrote:So there's no way to do it through the editor? Like I don't use a dark theme in my OS, but I do like my editors to be dark.I confirm. Dark theme only available if the OS widget set has one.
That's a shame, damn. May I suggest some proper theme configuration that isn't bound to OS then?