fixed: on mac, the mini-toolbars have a weird behaviour.
fixed: the default theme on MacOSX was not the good one.
fixed: the splash screen was not visible on Ubuntu Raring.
New version checker.