Permalink
Browse files

major update: migrate from json config file to GSettings, add python …

…GUI for the configuration (bit ugly still, I'm not a GUI designing guy), markdown doesn't like angle brackets, move i18n one direction up
  • Loading branch information...
1 parent 1734acd commit d755dcded0d86e7961233f162fab5ba682cc948f @olebowle committed Nov 1, 2011
View
@@ -21,7 +21,7 @@ Get from [Debian Packages](http://packages.debian.org/sid/gnome-shell-timer)
- Update the system's icon cache: *gtk-update-icon-cache --force --quiet /usr/share/icons/hicolor*
- Enable the extension using gnome-tweak-tool (Shell Extensions -> Timer Extension) or via following commandline:
- gsettings get org.gnome.shell enabled-extensions
- - gsettings set org.gnome.shell enabled-extensions [<value from get above>, timer@olebowle.gmx.com]
+ - gsettings set org.gnome.shell enabled-extensions [\<value from get above\>, timer@olebowle.gmx.com]
- Press *Alt + F2*, and *r* in command to restart gnome-shell
# Configuration
View
@@ -1,22 +0,0 @@
-{
- "version": "0.1",
- "timer": {
- "hours": 0,
- "minutes": 10,
- "seconds": 0
- },
- "ui": {
- "show_notifications": true,
- "show_persistent_messages": false,
- "show_elapsed_time": false,
- "show_timer": true,
- "show_pie": true
- },
- "presets": {
- "presets": {
- "3min": 180,
- "5min": 300,
- "1h": 3600
- }
- }
-}
@@ -0,0 +1,57 @@
+<schemalist gettext-domain="gnome-shell-extensions">
+ <schema id="org.gnome.shell.extensions.timer" path="/org/gnome/shell/extensions/timer/">
+ <key name="manual-hours" type="i">
+ <default>0</default>
+ <summary>Hours in manual mode</summary>
+ <description>Time in hours the timer is about to run in manual mode</description>
+ </key>
+ <key name="manual-minutes" type="i">
+ <default>10</default>
+ <summary>Minutes in manual mode</summary>
+ <description>Time in minutes the timer is about to run in manual mode</description>
+ </key>
+ <key name="manual-seconds" type="i">
+ <default>0</default>
+ <summary>Seconds in manual mode</summary>
+ <description>Time in seconds the timer is about to run in manual mode</description>
+ </key>
+ <key name="ui-notification" type="b">
+ <default>false</default>
+ <summary>Show notification messages</summary>
+ <description>Set to true to show notification messages, when timer is finished</description>
+ </key>
+ <key name="ui-persistent" type="b">
+ <default>true</default>
+ <summary>Show persistent notification messages (ModalDialog)</summary>
+ <description>Set to true to show persistant notification messages (ModalDialog), when timer is finished</description>
+ </key>
+ <key name="ui-elapsed" type="b">
+ <default>false</default>
+ <summary>Show elapsed timer</summary>
+ <description>Display elapsed time, instead of a countdown</description>
+ </key>
+ <key name="ui-time" type="b">
+ <default>true</default>
+ <summary>Show time in panel</summary>
+ <description>Set to true to show time in panel</description>
+ </key>
+ <key name="ui-chart" type="b">
+ <default>true</default>
+ <summary>Show pie chart in panel</summary>
+ <description>Set to true to show pie chart in panel</description>
+ </key>
+ <key name="ui-dark-color" type="s">
+ <default>'#474747ff'</default>
+ <summary>Dark color of pie chart</summary>
+ </key>
+ <key name="ui-light-color" type="s">
+ <default>'#ccccccff'</default>
+ <summary>Light color of pie chart</summary>
+ </key>
+ <key name="presets" type="a{si}">
+ <default>{'3min': 180, '5min': 300, '1h': 3600}</default>
+ <summary>Timer presets</summary>
+ <description>Key-Value pairs of commonly used timer settings: key is the name of the preset, value the duration in seconds</description>
+ </key>
+ </schema>
+</schemalist>
@@ -0,0 +1,46 @@
+msgid ""
+msgstr ""
+"Project-Id-Version: gnome-shell-timer\n"
+"POT-Creation-Date: 2011-08-24 20:05+0100\n"
+"PO-Revision-Date: 2011-10-27 23:30+0100\n"
+"Last-Translator: Ole Ernst <olebowle@gmx.com>\n"
+"Language-Team: \n"
+"MIME-Version: 1.0\n"
+"Content-Type: text/plain; charset=UTF-8\n"
+"Content-Transfer-Encoding: 8bit\n"
+
+msgid "Schema \"%s\" not found."
+msgstr "Schema \"%s\" nicht gefunden."
+
+msgid "Run Timer"
+msgstr "Starten"
+
+msgid "Reset Timer"
+msgstr "Zurücksetzen"
+
+msgid "Restart Timer"
+msgstr "Neustarten"
+
+msgid "Set Timer"
+msgstr "Zeit einstellen"
+
+msgid "Preferences..."
+msgstr "Einstellungen..."
+
+msgid "Timer finished!"
+msgstr "Stoppuhr beendet!"
+
+msgid "Close"
+msgstr "Schließen"
+
+msgid "Hours"
+msgstr "Stunden"
+
+msgid "Minutes"
+msgstr "Minuten"
+
+msgid "Seconds"
+msgstr "Sekunden"
+
+msgid "Preset \"%s\" finished!"
+msgstr "Voreinstellung \"%s\" beendet!"
@@ -0,0 +1,46 @@
+msgid ""
+msgstr ""
+"Project-Id-Version: gnome-shell-timer\n"
+"POT-Creation-Date: 2011-09-20 12:45+0200\n"
+"PO-Revision-Date: 2011-10-27 23:30+0100\n"
+"Last-Translator: José Luis Segura Lucas <josel.segura@gmx.es>\n"
+"Language-Team: \n"
+"MIME-Version: 1.0\n"
+"Content-Type: text/plain; charset=UTF-8\n"
+"Content-Transfer-Encoding: 8bit\n"
+
+msgid "Schema \"%s\" not found."
+msgstr ""
+
+msgid "Run Timer"
+msgstr "Empezar"
+
+msgid "Reset Timer"
+msgstr "Terminar"
+
+msgid "Restart Timer"
+msgstr "Reiniciar"
+
+msgid "Set Timer"
+msgstr "Configurar temporizador"
+
+msgid "Preferences..."
+msgstr ""
+
+msgid "Timer finished!"
+msgstr "¡Temporizador finalizado!"
+
+msgid "Close"
+msgstr ""
+
+msgid "Hours"
+msgstr "Horas"
+
+msgid "Minutes"
+msgstr "Minutos"
+
+msgid "Seconds"
+msgstr "Segundos"
+
+msgid "Preset \"%s\" finished!"
+msgstr "¡Predefinido \"%s\" finalizado!"
@@ -9,6 +9,9 @@ msgstr ""
"Content-Type: text/plain; charset=UTF-8\n"
"Content-Transfer-Encoding: 8bit\n"
+msgid "Schema \"%s\" not found."
+msgstr ""
+
msgid "Run Timer"
msgstr ""
@@ -18,59 +21,26 @@ msgstr ""
msgid "Restart Timer"
msgstr ""
-msgid "Presets"
-msgstr ""
-
msgid "Set Timer"
msgstr ""
-msgid "Options"
-msgstr ""
-
-msgid "Hours"
-msgstr ""
-
-msgid "Minutes"
-msgstr ""
-
-msgid "Seconds"
-msgstr ""
-
-msgid "Show Remaining Time"
-msgstr ""
-
-msgid "Show Elapsed Time"
-msgstr ""
-
-msgid "Show Notification Messages"
+msgid "Preferences..."
msgstr ""
msgid "Timer finished!"
msgstr ""
-msgid "Preset \"%s\" finished!"
-msgstr ""
-
-msgid "Timer: Using config file = %s"
-msgstr ""
-
-msgid "Parser version not defined"
-msgstr ""
-
-msgid "Timer: Error reading config file = %s"
-msgstr ""
-
-msgid "Timer: Failed to create configuration directory. Path = %s"
+msgid "Close"
msgstr ""
-msgid "Configuration will not be saved."
+msgid "Hours"
msgstr ""
-msgid "Timer: Error writing config file = %s"
+msgid "Minutes"
msgstr ""
-msgid "Timer: Updated config file = %s"
+msgid "Seconds"
msgstr ""
-msgid "Close"
+msgid "Preset \"%s\" finished!"
msgstr ""
@@ -0,0 +1,9 @@
+[Desktop Entry]
+Name=timer-applet Preference
+Name[de_DE]=timer-applet Einstellungen
+GenericName=Preference Editor for timer-applet
+Exec=timer-applet-config
+Terminal=false
+Type=Application
+Icon=timer-applet-config
+Categories=GNOME;System;
Oops, something went wrong.

2 comments on commit d755dcd

timer-applet-config.* is not a very good name choice IMO. It has chance of colliding with the original timer-applet application.... why not gnome-shell-timer-config ?

Owner

olebowle replied Nov 2, 2011

fair enough

Please sign in to comment.