27 Jan
2009
27 Jan
'09
10:55 p.m.
On Tue, Jan 27, 2009 at 06:38:50PM -0300, Jorge Arellano Cid wrote:
Hi,
The tools button changeset was just committed.
Please notice the options are global. It's quite useful as is and making per bw options seems not worth.
Go check! :-)
Hey, pretty cool! There's more stuff that should go into the tool menu: load images increase font size decrease font size Cheers, Johannes PS: Where did you get the nice icon?