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/busybox-free
Busybox - free
jonnius/hidetopbar
Gnome 3 extension to hide the top bar except in overview mode
jonnius/android
DuckDuckGo Search & Stories for Android
jonnius/android-autostarts
Tool to manage autostarts (broadcast receivers) on an Android device.
jonnius/battery-remaining-time
Gnome Shell extension to show remaining time for battery.
jonnius/ddg-android
A tool to make Duck Duck Go easier to use on Android
jonnius/DragonGoApp
Android app to play the game of go with the Dragon Go Server.
jonnius/FileExplorer
MIUI文件管理器社区开源版(Community edition of MIUI File Explorer)
jonnius/format-clock
Gnome-Shell extension that allows to adjust clock format on the gnome-shell panel.
jonnius/gnome-shell-extension-appindicator
jonnius/gnome-shell-extension-battery_status
jonnius/gnome-shell-extension-gradio
radio player for gnome shell
jonnius/gnome-shell-extension-lockkeys
Numlock and Capslock indicator for gnome-shell
jonnius/gnome-shell-extension-suspend-button
GNOME Shell Extension Suspend-Button for GNOME 3.10 / 3.12
jonnius/gnome-shell-extension-workspace-isolated-dash
Isolate workspaces in Gnome Shell
jonnius/gnome-shell-extension-yawl
jonnius/gnome-shell-extensions-command-output
Widget to display the output of a shell command
jonnius/gnome-shell-minimum-workspaces
Set a minimum number of dynamic workspaces.
jonnius/gnome-shell-pomodoro
Pomodoro extension for gnome-shell
jonnius/gnome-shell-volume-mixer
GNOME Shell Extension allowing separate configuration of pulseaudio devices
jonnius/gnote-integration
extension for gnome-shell
jonnius/HexGame_Android
jonnius/minimizeall
Repository for minimizeall gnome shell extension
jonnius/NetSpeed
An extension for gnome 3 to show internet speed
jonnius/SequenceHunt
A game requiring the player to determine a sequence of colors - android platform
jonnius/text-translator
extension for gnome-shell
jonnius/time-tracker
GNOME Shell extension for time tracking
jonnius/wanda-the-fish
Wanda The Fish extension for Gnome-3.10. For my wife ;)
jonnius/window-demands-attention-shortcut
extension for GNOME Shell
jonnius/workspaces-to-dock
A gnome shell extension that transforms the workspaces into an intellihide dock