Where is the "How to make a JButton get smaller ?" post ?

[Philippe Maquet]

Mmh... A few minutes ago, I said "Great ! Here is the first Swing question I'll be able to answer to", and by the time I replied to Ulrich, that easy Swing question had disappeared ...
Tell me if you find it back (*),
Phil.
(*) there is no reward

[Ramses Tutoli]

haha, that was me. right after I posted I found the method I needed (setMargin()).

[Philippe Maquet]

Hi Ramses,
Mmh. I'll remember that you are the guy who frustrated me today.
You are already within the GUI part ?! Are you amazingly fast, or did you start with the GUI ?
Best,
Phil.

[Ramses Tutoli]

no, I am not fast at all..actually I took some shortcuts like not worrying about exception handling or javadocs. that's going to cause me some headaches in the future when i have to address that fully.