#2 Possibility to set preferences

[Ludovic Russo]

It would be great to set preferences. I personnaly
perfer the way JTextField and JPasswordField were
before alpha006. It would then be great to be able to
decide if we want to have them as line or as boxes.
Same for disabled buttons with a red strike.

[Ken Arnold]

Logged In: YES
user_id=66520

I have added a notion of "themes" with beta-003, but that's mostly for
the paper and pen colors. I could possibly allow properties to specify the
border type for these.