Search results for "extension"

/build/Plane-dark ~/.themes Active white theme $ gsettings set org.gnome.desktop.interface gtk-theme Plane && gsettings set org.gnome.shell.extensions.user-theme name Plane Active dark theme $ gsettings set org.gnome.desktop.interface gtk-theme Plane-dark && gsettings set ...

Plasmoid which modifying the application launcher to allows: -resizing it by long pressing the configure button. -changing its position by long pressing the header bar with dragging it. -changing its icons size by long pressing right click with Scrolling up/down Note: it needs restarting the ...

This is an applet (specifically made for gnome desktop) that displays the current music you're playing on your system. This is inspired from KDE "Now Playing" widget.

Required VLC version: 3.0+ (but before 4.0) Speed Controller Extension for VLC Media Player 3.x This extension allows you to quickly switch between multiple user-configurable custom speeds, while also providing a GUI for playback control.

You can split a video file or an iso image in different sizes from 10mb to 3gb, I clarify that the extension should be placed after finishing the merge of the file.

This is a widget to save and manage your desktop customizations, you can save your current desktop customization and it will list all your past saved ones, you can restore the customization with just one click, also you can export/import customization to other ...

MBOX Converter is the best software to convert all MBOX email data into multiple file extensions with complete email file properties.

A dynamic tiling extension for KWin.

8flow theme is Plank Dock theme made by me (Flou Ainan) upon the Arc Plank theme from AUR. AUR base file: https://github.com/horst3180/arc-theme I N S T A L A T I O N: Extract the .zip file annd move the "8flow" folder to /.local/share/plank/themes/ Remeber to allow hiden files to be seen in ...

Clipper is a VLC extension to read, modify and write M3U playlists for portions (clips) of files.