sustmi/gnome-shell-extension-historymanager-prefix-search sustmi/gnome-shell-extension-historymanager-prefix-search

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    JavaScript
  • License
    GNU General Publi...
  • Created about 7 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sustmi/gnome-shell-extension-historymanager-prefix-search
github

sustmi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

GNOME Shell Extension that enables you to use PageUp and PageDown to move in history of eg. RunCommand (Alt+F2)

More Repositories

1

gnome-shell-extension-windowoverlay-icons

GNOME Shell Extension that adds application icons to the windows overview (in Activities menu)
JavaScript
72
star
2

gnome-shell-extensions-sustmi

[DEPRECATED] The repository was split into two repositories: https://github.com/sustmi/gnome-shell-extension-historymanager-prefix-search and https://github.com/sustmi/gnome-shell-extension-windowoverlay-icons
JavaScript
57
star
3

gnome-shell-extension-workspace-switcher-popup-thumbnails

[Abandoned] Gnome Shell extension which makes workspace switcher show thumbnails instead of arrows
JavaScript
12
star
4

sus107-dt

Diploma thesis source code - ZX Spectrum emulator with integrated debugger
C
7
star
5

oflute

oFlute is a musical game in which you play the recorder (flute) ร  la SingStar
C++
1
star
6

fb-post-downloader

A command line tool for downloading posts from Facebook Pages into local storage.
PHP
1
star
7

gnome-shell-extension-workspace-grid

JavaScript
1
star