gnupic: No more troubles in compiling gpsim
Subject:
Re: No more troubles in compiling gpsim
From:
####@####.####
Date:
6 Aug 2001 16:30:20 -0000
Message-Id: <20010806183123.A2127@home.se>
On Sun, Jul 08, 2001 at 11:53:11PM -0500, Scott Dattalo wrote:
>
>
> On Mon, 9 Jul 2001, Vincent Besse wrote:
> > A third thing: I need recompilation if I want to change fonts size?
I've been kind of busy. But, which fonts would you like to be able to
change?
>
> That sucks. You probably had to edit the code too since the font types and sizes
> are called out in the code. Maybe we can coax Ralf into putting that info in the
> gpsim configuartion file.
I thought that I'd use the gtk font selection dialog, but I'll have to
find out how to filter the fonts. I want to filter out non-fixed-width
fonts.
I was planning to have it done by now, but I haven't even started. It'll
take another few weeks.
/ Ralf
