Alain, any chance of changing the range for Full screen margin in settings to start at -5? That would really maxmise space by putting the window borders outside the World (and avoiding inadvertent resizing on maximised windows).
Regards, Gary
_______________________________________________ Pharo-project mailing list [email protected] http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/pharo-project
