mathematicalcoffee / gnome-shell-extension-bolt

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Bolt

A launcher thats a fusion of the Ubuntu dash, the Gnome-shell overview and the classic Gnome 2 menu which replaces the overview. Recommend for use with a dock.

Screenshot Bolt using the medium theme size.


Screenshot Bolt using the small theme size.


Bolt can be easily configured through http://extensions.gnome.org or via the semi-transparent square to the left of the search box.

Screenshot

Installation

Dependencies

  • Zeitgeist >= 0.9.0
  • xprop

Recommended

  • gir1.2-gnomedesktop-3.0 (for icon previews)
  • Ubuntu font (only when current gnome-shell theme doesnt support bolt)

Known bugs

  • After disabling bolt and viewing the overview gnome-shell sometimes crashes

Theming

Bolt can be themed just like any other part of Gnome-shell. When a Gnome-shell theme doesnt include support for Bolt a default is applied as seen above. Details on how to add theming support can be found here and you can find themes where I've added support here.

Next version

Will focus on supporting workspaces.

Future

  • workspace management
  • improved themeing support
  • intergrate search-provider extensions
  • change icon sizes
  • change "Bolt" text and/or show an icon
  • drag to resize

Change log

Version 2 (25-6-2012)

  • better theming support (link)
  • compatibility with dash-to-dock
  • dont override other extension stylesheets
  • performance improvements
  • code cleaning and bug fixes
  • add scrollbar to preferences
  • setting to enable/disable changing activities text
  • setting to show running apps in home tab
  • setting to change theme size (requires theme support)

Version 1

  • initial release

Flattr Button

About


Languages

Language:JavaScript 100.0%