Skip to content

A launcher thats a fusion of the Ubuntu dash, the Gnome-shell overview and the classic Gnome 2 menu.

Notifications You must be signed in to change notification settings

zacbarton/gnome-shell-extension-bolt

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

22 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

A launcher thats a fusion of the Ubuntu dash, the Gnome-shell overview and the classic Gnome 2 menu.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages