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. This post demonstrates how to use the GNOME Shell extension mechanism to monkey patch the GNOME Shell in order to provide new functionality for the shell or fix a existing defect in the shell. This post provides a replacement file for the GNOME Shell which fixes the missing GNOME Shell extension stylesheet problem. |
||||||||||||||||||||||
|
Copyright © 2005-2012 Finnbarr P. Murphy. All Rights Reserved. |
|||||||||||||||||||||||