文件名称：gnome-shell-timer:一个简单的计时器
文件大小：114KB
文件格式：ZIP
更新时间：2024-05-27 03:43:21
JavaScript
扩展保持不变 此扩展名不再由我自己维护（Ole Ernst）。 您可能想研究维护更好的替代方法： :
【文件预览】：
gnome-shell-timer-master
----gnome-shell-timer-config.py(11KB)
----po()
--------gnome-shell-timer.pot(704B)
--------it_IT()
--------es_ES()
--------fr_FR()
--------de_DE()
----org.gnome.shell.extensions.timer.gschema.xml(3KB)
----utilities-timer-symbolic.svg(5KB)
----gnome-shell-timer-config.desktop(263B)
----kitchen_timer.ogg(85KB)
----timer@olebowle.gmx.com()
--------metadata.json(190B)
--------extension.js(17KB)
----.gitignore(8B)
----README.md(201B)
----COPYING(32KB)
----make.sh(2KB)
----gnome-shell-timer-config.svg(25KB)