gnome-shell-timer icon indicating copy to clipboard operation
gnome-shell-timer copied to clipboard

A simple timer

Results 12 gnome-shell-timer issues
Sort by recently updated
recently updated
newest added

…hub complaints of extensions that no longer seem to work. Apparently slider.connect('value-changed' ... is now slider.connect('notify::value' !@$ss#

This project seems to be abandoned. Anyway, here are my quick fixes, that make it work with gnome-shell 3.38. I hope this is useful to someone.

gnome-shell-timer doesn't start on my system * PopOS 20.10 (based on Ubuntu 20.10) * Gnome 3.38.3 * gnome-shell-timer 0.3.20+20171025-4 ``` Feb 09 10:56:09 sancho.varac.net gnome-shell[3264]: JS ERROR: Extension [email protected]: TypeError:...

Hi lovely gnome-shell-timer folks. As a new gnome user I was delighted to find a timer applet, but it took me a couple hours to puzzle out how to make...

I get these errors: ``` Usage of object.actor is deprecated for Indicator get@resource:///org/gnome/shell/ui/environment.js:249:29 _init@/usr/share/gnome-shell/extensions/[email protected]/extension.js:124:9 wrapper@resource:///org/gnome/gjs/modules/_legacy.js:82:22 enable@/usr/share/gnome-shell/extensions/[email protected]/extension.js:421:17 _callExtensionEnable@resource:///org/gnome/shell/ui/extensionSystem.js:131:13 _onEnabledExtensionsChanged/

Hi! This extension would profit from a configurable keyboard shortcut in the preferences menu like Ctrl+Alt+N or similar. Cheers!

Please add support for sound notification, say playing an audio file; it would be useful when not looking at the computer. Thanks.

Hi, I request you to add your extension to https://extensions.gnome.org/ it's lot easier for any user to install from there

The old Timer applet allowed start of many timer together

If you add new presets, they do not appear in the list until you restart GNOME Shell. Worse, if you rename/drop an existing preset, and then try to start the...