Use by default the GTK theme

[Sylvestre Ledru]

Hi

I just made a small change on the Java GUI. If the Java/GTK theme is
available on the computer, we use it.
There are a few graphical bugs but we know how to fix them (just need to
go upstream on the flexdock bug).

Allan, I leave you the work for Windows if you don't mind (Cannot test
here)

Cheers,
Sylvestre

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 189 bytes
Desc: Ceci est une partie de message num?riquement sign?e
URL: <https://lists.scilab.org/pipermail/dev/attachments/20080203/a3d11d43/attachment.sig>