1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
<page xmlns="http://projectmallard.org/1.0/"
type="guide"
id="global_key">
<info>
<link type="guide" xref="index#extra"/>
<desc>Global keyboard shortcut for radio switching.</desc>
</info>
<section>
|
<
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
<page xmlns="http://projectmallard.org/1.0/"
type="guide"
id="global_key">
<info>
<link type="guide" xref="index#extra"/>
<desc>Global keyboard shortcut for radio switching.</desc>
</info>
<title>Global_key</title>
<p>Using the global_key extension you can define a keyboard shortcut for switching within
a list of favourited radio stations. Per default it uses your bookmarks list, but it can be
configured to alternate in any other channel.</p>
<p>This is useful if you don't want to keep streamtuner2 atop your
|
33
34
35
36
37
38
39
40
41
|
add a category separated by : colon here.</p>
<note style="bug"><p>If the configured keyboard shortcut conflicts
with another application, it won't work. And if you choose it too
generic, you won't be able to type longer documents. Also found
out: key names are case sensitive.</p></note>
</section>
|
<
|
32
33
34
35
36
37
38
39
|
add a category separated by : colon here.</p>
<note style="bug"><p>If the configured keyboard shortcut conflicts
with another application, it won't work. And if you choose it too
generic, you won't be able to type longer documents. Also found
out: key names are case sensitive.</p></note>
</page>
|