Pinned Repositories
100balls
This repository has been moved over to Gitlab
2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
account-plugins
acme-code
camera-scanner
This Repository has moved to Gitlab (Ubuntu Touch Camera Scanner App)
gnome-system-menu
Gnome-Shell extension that creates a system menu on top panel
hidetopbar
Gnome 3 extension to hide the top bar except in overview mode
otter-browser
Otter Browser aims to recreate the best aspects of the classic Opera (12.x) UI using Qt5
jonnius's Repositories
jonnius/dash-to-dock
A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
jonnius/dynamic-panel-transparency
Adds Transparency To The Gnome Shell Panel
jonnius/emoji-selector-for-gnome
This extension provide a popup menu with some emojis ; clicking on an emoji copies it to the clipboard. It will be less ugly if you have « Twitter Color Emoji » or « EmojiOne Color » font installed on your system.
jonnius/files-menu
Quickly navigate your file system and open files through a menu.
jonnius/forex_indicator
Display Forex quotes
jonnius/gnome-extension-quicktoggler
Toggling services, launching apps in one click.
jonnius/gnome-shell-extension-caffeine
Disable screensaver and auto suspend
jonnius/gnome-shell-extension-extensions
gnome shell extension to enable/disable extension easily via a panel menu
jonnius/gnome-shell-extension-KeysIndicator
Show <Ctrl> & <Shift> & <Alt> & NumLock & CapsLock status on Gnome panel
jonnius/gnome-shell-extension-modern-calc
Modern Calc will be a full featured calculator for gnome shell.
jonnius/gnome-shell-extension-patterns
Get a new patterned-wallpaper automatically every day/week.
jonnius/gnome-shell-extension-prepaid
Gnome shell extension that lists your current prepaid balance for multiple services. Currently it supports Sipgate and Tesco Mobile Ireland.
jonnius/gnome-shell-extension-rss-feed
Simple RSS Feed reader extension for GNOME Shell.
jonnius/gnome-shell-extension-wbe
Apply effects on window blur
jonnius/gnome-shell-extensions-mediaplayer
A mediaplayer indicator for the gnome-shell.
jonnius/gnome-shell-scroll-workspaces
Switch workspaces by scrolling in the top panel
jonnius/GnomeShell_DynamicTopBar
Gnome Shell extension that make the top bar dynamically change its transparency
jonnius/IP-Finder
A Gnome extension that displays information about your public IP address (hostname, country, AS block etc)
jonnius/KeepAwake
Gnome Shell Extension "Keep Awake"
jonnius/Keyboard-Modifiers-Status
Gnome-Shell extension that shows keyboard modifiers status. It's much useful when sticky keys are active.
jonnius/Laine
Gnome extension which allows the control of the volume of individual applications as well as a more in depth control of mpris aware applications from a single applet
jonnius/multi-monitors-add-on
jonnius/pidgin-im-gnome-shell-extension
Make Pidgin IM conversations appear in the Gnome Shell message tray
jonnius/ping_indicator
Display ping time
jonnius/ShutdownTimer
gnome-shell-extension
jonnius/text-scaler-gnome-shell-extension
Text Scaler extension for GNOME Shell
jonnius/theme-default
Inyoka OSS Theme
jonnius/toggleZoom
Toggle zoom / scale screen with xrandr in Gnome 3 topbar.
jonnius/tuxracer-touch
Ubuntu touch tux racer port
jonnius/wikipedia-search-provider
Wikipedia Search Provider for gnome-shell