• 

  Toggle Terminal 20 Feb 15

• 

  Advanced Settings in UserMenu 20 Feb 15

• 

  AlternateTab 20 Feb 15

• 

  Shell Restart User Menu Entry 20 Feb 15

• 

  Eye! 20 Feb 15

• 

  Axe Menu 20 Feb 15

• 

  Update Indicator 20 Feb 15

• 

  Workspaces to Dock 20 Feb 15