1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
+
+
+
+
|
#
# api: streamtuner2
# title: Global keyboard shortcut
# description: Allows switching between bookmarked radios via key press.
# type: feature
# category: ui
# version: 0.2
# config:
# { name="switch_key", type="text", value="XF86Forward", description="Global key shortcut for switching radio." },
# { name="switch_channel", type="text", value="bookmarks:favourite", description="Station list and channels to alternate in." },
# { name="switch_random", type="boolean", value=0, description="Pick random channel, instead of next." },
# priority: extra
# depends: python-keybinder
#
#
# Binds a key to global desktop (F13 = left windows key). On keypress
# it switches the currently playing radio station to another one in
# bookmarks list.
|
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
-
-
-
-
-
-
|
# register a key
class global_key(object):
module = "global_key"
title = "keyboard shortcut"
meta = plugin_meta()
config = [
dict(name="switch_key", type="text", value="XF86Forward", description="global key for switching radio"),
dict(name="switch_channel", type="text", value="bookmarks:favourite", description="station list to alternate in"),
dict(name="switch_random", type="boolean", value=0, description="pick random channel, instead of next"),
]
|