1
2
3
4
5
6
7
8
9
10
11
12
13
|
#
# type: feature
# api: streamtuner2
# title: global keyboard shortcut
# description: allows switching radios in bookmarks list via key press
# version: 0.2
# 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.
#
|
<
|
|
>
>
>
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#
# api: streamtuner2
# title: Global keyboard shortcut
# description: Allows switching between bookmarked radios via key press.
# type: feature
# category: ui
# version: 0.2
# 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.
#
|
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
# register a key
class global_key(object):
module = "global_key"
title = "keyboard shortcut"
version = 0.2
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"),
]
last = 0
|
<
|
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
# register a key
class global_key(object):
module = "global_key"
title = "keyboard shortcut"
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"),
]
last = 0
|