• Live editing development on desktop app

    JavaScript 1,277 Updated Aug 19, 2017
  • A Gnome Shell extension for moving notification area

    JavaScript 1 Updated Jan 16, 2015
  • Windows alt-tab gnome shell extension

    JavaScript 13 4 Updated Aug 20, 2013
  • Remove a recent item

    JavaScript 2 1 Updated Mar 19, 2012