1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
<page
xmlns="http://projectmallard.org/1.0/"
type="guide" group="first"
id="configuration">
<info>
<link type="guide" xref="index#functions"/>
<!--link type="guide" xref="index#configuration"/-->
<desc><key>F12</key> brings up the options window with the Player, Display, System and Plugin sections.</desc>
</info>
<title>Configuration / Settings dialog</title>
<p>
There are various options for streamtuner2, available under <guiseq><gui>Edit</gui>
<gui>Preferences</gui></guiseq> or via <key>F12</key>.
</p>
<p><media type="image" src="img/configtabs.png" mime="image/png" /></p>
<terms>
<title>It's grouped into:</title>
<item>
<title>🔊 Player</title>
<p>Associates media formats to audio player applications or recording tools.</p>
</item>
<item>
<title>☑ Options</title>
<p>Influences the display of all stream/station lists, and contains some
behaviour and system settings.</p>
</item>
<item>
<title>📻 Channel Plugins</title>
<p>Allows to enable or disable channel tabs. Each can have specific
options, which can be configured here.</p>
</item>
<item>
<title>🔌 Feature Plugins</title>
<p>Another class of plugins enables internal functions, or adds extra menu
entries, or further configuration options.</p>
</item>
<item>
<title>📦 Add</title>
<p>The <link xref="pluginmanager2">Plugin Manager 2</link> adds another
tab for updating or installing new plugins.</p>
</item>
</terms>
<section id="apps">
<title>Player application settings</title>
<p>MIME types are abstract identifiers for media types. <var>Audio/mpeg</var> for
|
>
|
|
|
|
|
|
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
<page
xmlns="http://projectmallard.org/1.0/"
type="guide" group="first"
id="configuration">
<info>
<link type="guide" xref="index#functions"/>
<!--link type="guide" xref="index#configuration"/-->
<desc><key>F12</key> brings up the options window with the Player, Display, System and Plugin sections.</desc>
</info>
<section>
<title>Configuration / Settings dialog</title>
<p>
There are various options for streamtuner2, available under <guiseq><gui>Edit</gui>
<gui>Preferences</gui></guiseq> or via <key>F12</key>.
</p>
<p><media type="image" src="img/configtabs.png" mime="image/png" /></p>
<terms>
<title>It's grouped into:</title>
<item>
<title>🔊 <link xref="#apps">Player</link></title>
<p>Associates media formats to audio player applications or recording tools.</p>
</item>
<item>
<title>☑ <link xref="#gui">Options</link></title>
<p>Influences the display of all stream/station lists, and contains some
behaviour and system settings.</p>
</item>
<item>
<title>📻 <link xref="#plugins">Channel Plugins</link></title>
<p>Allows to enable or disable channel tabs. Each can have specific
options, which can be configured here.</p>
</item>
<item>
<title>🔌 <link xref="#plugins">Feature Plugins</link></title>
<p>Another class of plugins enables internal functions, or adds extra menu
entries, or further configuration options.</p>
</item>
<item>
<title>📦 <link xref="pluginmanager2">Add</link></title>
<p>The <link xref="pluginmanager2">Plugin Manager 2</link> adds another
tab for updating or installing new plugins.</p>
</item>
</terms>
</section>
<section id="apps">
<title>Player application settings</title>
<p>MIME types are abstract identifiers for media types. <var>Audio/mpeg</var> for
|