[Java-gnome-developer] Adding modifyFont to Widget

[Goundy <go...@gm...>]

Hi everyone.

Well, Afc here's the patch I did.
I hope I didn't screw up anything :P
And if it's okay, just tell me what you want me to work on next.

Cheers
Miloud Bel. aka Goundy