GNOME Shell Extensions -- Hide Undo

Added by hunterm@userstyles, Created: May 25, 2012, Updated: May 26, 2012
With the style applied
  • With the style applied
  • With the style applied (Generated screenshot)
  • Without the style applied (Generated screenshot)

Description:

Hides the "Removed . Undo?" message at the top of the local extensions page, since it interferes with the ease of batch uninstallation.

More info
0.1 -- Released.

Installs:
Applies to:
extensions.gnome.org
Show code
License:
CC0 1.0 Universal.
hunterm@userstyles has waived all copyright and related or neighboring rights to GNOME Shell Extensions -- Hide Undo, to the extent allowed by law.
Report style issues

Related styles:

More Gnome themes

WARNING: This webware is not functioning properly. Please enable javascript in your browser and try again.