12
13
14
15
16
17
18
19
20
21
22
23
24
25
26 | 12
13
14
15
16
17
18
19
20
21
22
23
24
25
26 |
-
+
| # Okay, while programming this, I missed the broadcast I wanted to hear. Again(!)
# But still this is a useful extension, as it allows recording and playing specific
# stations at a programmed time and interval. It accepts a natural language time
# string when registering a stream. (Via streams menu > extension > add timer)
#
# Programmed events are visible in "timer" under the "bookmarks" channel. Times
# are stored in the description field, and can thus be edited. However, after editing
# times manuall, streamtuner2 must be restarted for the changes to take effect.
# times manually, streamtuner2 must be restarted for the changes to take effect.
#
from channels import *
import kronos
from mygtk import mygtk
from action import action |
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77 | 63
64
65
66
67
68
69
70
71
72
73
74
75
76
77 |
-
+
| # target channel
if not self.bookmarks.streams.get("timer"):
self.bookmarks.streams["timer"] = [{"title":"--- timer events ---"}]
self.bookmarks.add_category("timer")
self.streams = self.bookmarks.streams["timer"]
# widgets
parent.signal_autoconnect({
parent.add_signals.update({
"timer_ok": self.add_timer,
"timer_cancel": lambda w,*a: self.parent.timer_dialog.hide() or 1,
})
# prepare spool
self.sched = kronos.ThreadedScheduler()
for row in self.streams: |