Today I downloaded and built “8.3.0-4-gad5f0effa” from GitHub, the instructions were flawless, it almost worked first time (I forgot some stuff) and basically I immediately tried the dark theme and it’s pretty nice, so well done and thanks whoever did that. I also had an idea for a new feature in t…

Just saying thanks for "dark theme"

EricGT May 29, 2020, 9:56pm 2

Topic		Replies	Views
IDE/Editor for SWI-Prolog? Tools	38	21319	August 23, 2019
Terminal theme support Request For Comments	17	2479	July 25, 2019
Feature suggestion: Show current line number in the graphical debugger Help!	2	733	August 23, 2019
Syntax colouring / editor woes ...any solutions? Help!	14	403	April 7, 2020
Own predicate like `-->/2` or `:-/2` in he built-in prolog editor Predicate emacs	1	394	October 3, 2022