A place for tidbits of coding that might be of interest to some. For suggestions, bugs, insults, etc, please mail to paolo.tranquilli@gmail.com.
Gnome Shell Extensions
These are extensions for Gnome 3's shell. To install, just untar in
~/.local/share/gnome-shell/extensions and enable with
the advanced settings tool.
-
Quick close in overlay (Gnome 3) (updated on 25/01/2013)
This extension allows to close windows with a middle click in overlay mode.
-
Quick close in overlay (Cinnamon) (updated on 6/6/2012)
This extension allows to close windows with a middle click both in overlay and in expo modes. It is designed for the cinnamon fork of gnome-shell
-
Tweaked autohiding top bar (updated on 18/12/2011)
A tweaked version of an extension to autohide the top panel bar, originally by Finnbarr P. Murphy, modified in turn by Kevin R. Kane. This version adds a timeout before the bar shows.
marcus
Marcus is a language for modifying DOM documents and templating HTML without injecting it with app code. It's github page is here, while this site hosts some examples.
Dice Engine
Dice Engine is a resource for running online tabletop role-playing games. Available on diceengine.appspot.com. Source available on bitbucket.org/redsun82/diceengine.
