Not yet. It is indeed hardcoded. It's on my list with tabbed preferences window when I have a bit more breathing room.

On Mar 8, 2019, at 11:49 PM, pd-list-request@lists.iem.at wrote:

From: Alexandre Torres Porres <porres@gmail.com>
To: Pd-List <pd-list@lists.iem.at>
Subject: Re: [PD] how to edit PD's colors to make your own theme
Message-ID:
<CAEAsFmgBQRPspWu2WPuMw_kFgTS=UEU6z5mtU8K1sLoxrywDyQ@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"

or does it mean we can't even edit it without having to recompile from the
source?

--------
Dan Wilcox
@danomatika
danomatika.com
robotcowboy.com