On 2011-06-14 09:38, W. Martin Borgert wrote: > Is there a way to make the window corners a little bit bigger, > so that I can get them with the mouse? Sorry, I'm an idiot in > using the mouse... With the current GNOME3 stuff in Debian the problem is solved! Thanks to the maintainers! _______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
