Search results for "extension"

1.

Adwaita One Dark

Gnome Shell Themes by lonr
://extensions.gnome.org/extension/19/user-themes/]User Themes Extension[/url]. Open gnome-tweaks and change the shell
6.5
Nov 16 2022
2.

Ticki

Plasma 5 Applets by crazy-andi
Ticki is a very simple RSS ticker for your KDE/Plasma Panel. It's my first QML project. So there will be some bugs or stupid code ;-) I'm just learning... Any suggestion to make it better are welcome! Have some fun!
kde5 plasma5 panel rss plasmoid linux unix extension kde plasma plasma-5 widget
6.5
Sep 26 2022
3.

Condensed Weather

Plasma 5 Weather by Zren
Uses the default KDE weather widget's data sources. Needs ([b]sudo apt install plasma-widgets-addons[/b]) if you don't already have the default KDE weather widget installed. Based on the Win10 Weather skin for...
extension kde linux plasma plasma-5 unix weather widget
6.6
Feb 14 2022
4.

mkvsplitter

Video Apps by dwidmann
it a whirl, add some more file extensions to the filter string in MainWindow::showInfilePicker
6.5
Jul 30 2021
5.

YTSubDownload

VLC Extensions by kokokoshka
DESCRIPTION: Companion for https://addons.videolan.org/p/1344170/ plugin. Adds subtitles to videos INSTALLATION: - Download file - put the file in the vlc /lua/playlist folder, by default (create directories if they don't exist): * Windows (all users):...
6.6
Mar 31 2020
6.

Quick Save/Load Playlist

VLC Extensions by Xrott
These two complementary extensions allow you to save your current playlist and reload it without
6.5
Aug 25 2018
7.

Unity8-Green

Gnome Shell Themes by Brahimsalem
: gsettings set org.gnome.shell.extensions.dash-to-dock show-apps-at-top true Use this to undo
6.5
Jul 22 2019
8.

Shuffle Playlist

VLC Extensions by Xrott
To Install:[/b] - download "shuffle.lua" (download button on the right) - put it in the VLC extensions
6.5
Apr 17 2018
9.

Ubuntu-Touch (cinnamon+gnome-shell)

Cinnamon Themes by Brahimsalem
/share/gnome-shell/extensions/window-list@gnome-shell-extensions.gcampax.github.com
6.5
Dec 17 2017
10.

Online Radio AD Blocker

VLC Extensions by joemeszaros
radio without ads! With this extension (after configuration) the volume level is automatically set
6.5
Aug 13 2015