[Swoop-devel] Re: SWOOP
Bijan Parsia
bparsia at isr.umd.edu
Mon Feb 21 22:50:50 EST 2005
On Feb 21, 2005, at 4:08 PM, Edd Dumbill wrote:
> This is a nice thing!
Thanks!
> One question -- how do I make the font larger in the browser bit in the
> middle? As the attached screenshot shows, it's painfully small on my
> Linux/GNOME desktop.
Are you using an svned copy or a nightly build? We just added a
preference for font size in the entity pane.
Alas, preferences aren't saved yet, but that will be done in the next
couple of days (I hope).
Evenutally, I want to have the rendering controlled entirely by a css
sheet you can control yourself. But not this version :)
Cheers,
Bijan.
More information about the Swoop-devel
mailing list