This post demonstrates how to create a button on the top panel of the GNOME 3.2 Shell which displays a different menu depending on whether the left or right mouse button is clicked.
|
|
||
|
This post discusses how to update a GNOME 3.2 Shell extension to work with GNOME 3.2. This port demonstrates how to use Web Sockets with a gevent-based WSGI webserver This post shows you how to write an GNOME Shell extension to patch a theme stylesheet. |
||
|
Copyright © 2005-2012 Finnbarr P. Murphy. All Rights Reserved. |
||