Internet radio browser GUI for music/video streams from various directory services.

⌈⌋ ⎇ branch:  streamtuner2


Diff

Annotate Patch Side-by-side Diff

Differences From Artifact [f630ea02f6]:

To Artifact [0d5075d7e0]:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

1
2
3
4
5
6
7
8
9
10
11

12
13
14
15
16
17
18












-








<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>
︙
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55

40
41
42
43
44
45
46

47
48
49
50
51
52
53








-








  </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
︙