Check-in [8f1be0548d]
Overview
Comment: | Fix some typos. |
---|---|
Downloads: | Tarball | ZIP archive | SQL archive |
Timelines: | family | ancestors | descendants | both | trunk |
Files: | files | file ages | folders |
SHA1: |
8f1be0548dc73b8bbaae6f7c946cb274 |
User & Date: | mario on 2015-05-05 11:24:39 |
Other Links: | manifest | tags |
Context
2015-05-05
| ||
14:11 | Add icon for file browser. check-in: 5f1b889ce6 user: mario tags: trunk | |
11:24 | Fix some typos. check-in: 8f1be0548d user: mario tags: trunk | |
10:58 | Add omitted HTML pages. (*.html is in the fossil `ignore-glob`, so they get skipped for github-skin statistics bar.) check-in: 8a854e0f4c user: mario tags: trunk | |
Changes
Modified help/configuration.page from [93e7dafa68] to [639f594e2d].
︙ | |||
13 14 15 16 17 18 19 | 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 | - + - + - + - - + + + - + + + + + + + + + + + | <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> |
︙ | |||
169 170 171 172 173 174 175 | 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 | - - - + + + - - - + + + - - - + + + | particular necessary when you use <key>⏭</key> or <key>⏪</key> directly in your player. For <var>%pls</var> references your player typically usues the online-only playlist files anyway. If you disable this option, then converted pls/m3u/xspf files get recreated repeatedly.</p> </item> <item> <title>Forgo any playlist conversion</title> |
︙ | |||
224 225 226 227 228 229 230 | 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 | - - + + - + + | </terms> </section> <section id="plugins"> <title>Channel and feature plugins and settings</title> |
︙ |
Modified help/html/configuration.html from [93cd95cd46] to [1a5b6423a8].
︙ | |||
14 15 16 17 18 19 20 | 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 | - + - + - - - - + + + + + + + + + + + | <div class="region"> <div class="contents"> <p class="p"> There are various options for streamtuner2, available under <span class="guiseq"><span class="gui">Edit</span> ▸ <span class="gui">Preferences</span></span> or via <span class="key"><kbd>F12</kbd></span>. </p> <p class="p"><span class="media"><span class="media media-image"><img src="img/configtabs.png" class="media media-inline" alt=""></span></span></p> <div class="terms"><div class="inner"> |
︙ | |||
163 164 165 166 167 168 169 | 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 | + - - - + + + - - - + + + + - - - + + + + | your audio player. It'll keep those files around in /tmp/streamtuner2 until you quit. That speeds up switching between and reconnecting to a previous station. It's in particular necessary when you use <span class="key"><kbd>⏭</kbd></span> or <span class="key"><kbd>⏪</kbd></span> directly in your player. For <span class="var">%pls</span> references your player typically usues the online-only playlist files anyway. If you disable this option, then converted pls/m3u/xspf files get recreated repeatedly.</p></dd> <dt class="terms">Forgo any playlist conversion</dt> <dd class="terms"> |
︙ | |||
212 213 214 215 216 217 218 | 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 | - - + + - + + | </dl></div> </div></div> </div></div> </div></div> <div id="plugins" class="sect"><div class="inner"> <div class="hgroup"><h2 class="title"><span class="title">Channel and feature plugins and settings</span></h2></div> <div class="region"><div class="contents"> |
︙ |
Modified help/html/pluginmanager2.html from [b5a9426302] to [516cf56989].
︙ | |||
15 16 17 18 19 20 21 | 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 | - + | </div></div> <div class="body"> <div class="hgroup"><h1 class="title"><span class="title">Plugin Manager 2</span></h1></div> <div class="region"> <div class="contents"> <p class="p">As of release 2.1.8 there is a plugin manager. It's available as feature extension. Once acticated (after a restart) it brings up a |
︙ |
Modified help/pluginmanager2.page from [1be5e02a61] to [f0207d568f].
1 2 3 4 5 6 7 8 9 10 11 12 13 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | - + | <page xmlns="http://projectmallard.org/1.0/" type="guide" id="pluginmanager2"> <info> <link type="guide" xref="index#extra"/> <desc>User plugin installation</desc> </info> <title>Plugin Manager 2</title> <p>As of release 2.1.8 there is a plugin manager. It's available as feature extension. Once acticated (after a restart) it brings up a |
︙ |