rofi: rofi (window switcher)
rofi:
rofi: Rofi is a window switcher, application launcher and dmenu replacement.
rofi:
rofi: Rofi, like dmenu, will provide the user with a textual list of options
rofi: where one or more can be selected. This can either be running
rofi: an application, selecting a window, or options provided by an external
rofi: script.
rofi:
rofi: Homepage: https://github.com/DaveDavenport/rofi/
rofi: