gnome-shell-extensions-mediaplayer

A mediaplayer indicator for the gnome-shell.

Stars
8
Committers
1
View Code on GitHub
Ecosystems: JavaScript

No README available, please check again later.

Related Projects
gnome-shell-extension-ddterm

Another drop down terminal extension for GNOME Shell. With tabs. Works on Wayland natively. Fork ...

28 Mar 2022 10
Persian-Calendar-for-Gnome-Shell

An extension for Gnome-Shell to show Persian date/calendar

10 Mar 2012 391
emoji-selector-for-gnome

This extension provide a popup menu with some emojis ; clicking on an emoji copies it to the clip...

13 Jan 2017 475
gnome-shell-extension-firefox-pip

Make Firefox Picture-in-Picture window Always on Top

25 Aug 2022 9
circleplayer

A CSS3 HTML5 audio player with a circular seekable progress bar and complete fallback

20 Jan 2011 217
exaile-doubanfm-gnome-shell-extension

Exaile DoubanFM Control on GNOME-shell

07 May 2011 7
h5player

HTML5 music player

18 Apr 2015 30
media-player

A tiny, totally cross browser, accessible, fully customizable media player

05 Jul 2017 278
gnome-shell-extension-mpris-indicator-button

A full featured MPRIS indicator button extension for GNOME Shell 3.38+

10 Jan 2018 158
gnome-shell-windowlist

Displays a list of open windows in gnome-shell

17 Sep 2011 34
hymn

React audio player component

26 Aug 2014 20
keyboard_modifiers_status

Gnome-Shell extension that shows keyboard modifiers status. It's useful when sticky keys are active.

17 Aug 2015 21
gnome-shell-extension-workspaceNavigator

Allow selection of workspaces with up and down arrow keys in overlay mode.

02 Dec 2011 4
gnome-shell-mobile-data-status

Adds network type label to the mobile data icon in the System panel

07 Apr 2023 0
gnome-shell-extension-panel-workspace-scroll

Switch workspace by mouse scroll on the panel.

17 Nov 2023 4