In all fairness GNOME 3.6 accepted my patch that lets me just close the lid, but you need gnome-tweak-tool to access it.
GNOME 3.6 released
Posted Sep 28, 2012 19:22 UTC (Fri) by sjj (subscriber, #2020)
Posted Sep 28, 2012 20:42 UTC (Fri) by mjg59 (subscriber, #23239)
Copyright © 2017, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds