[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