On Sun, Apr 19, 2015 at 12:29 PM, karl ramberg <karlramberg at gmail.com> wrote:
> I was a little unsure how this change worked out.
> Pragma-preferences adds a lot of class variables and that seemed a little
> suspicious.
>
> Also the menu coloring scheme has quite a few layers with different looks,
> so I thought it would be best to test this a little before putting it in
> trunk.

I'll try it in my image today, thanks Karl!