32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53 | <div class="region"><div class="contents">
<p class="p">You can get to the search dialog via <span class="guiseq"><span class="gui">Edit</span> ▸ <span class="gui">Find</span></span> or <span class="key"><kbd>Ctrl</kbd></span>+<span class="key"><kbd>F</kbd></span>. Centrally
to this dialog is the text field, where you can specify the phrase
to scan for.</p>
<div class="media media-image"><div class="inner"><img src="img/search.png" class="media media-block" alt=""></div></div>
<p class="p">It either will search in all channels, or just the last active
channel/service.</p>
<p class="p">Then there are two search methods. You mostly want to use
the live <span class="gui">Server search</span>. It passes your search terms to
the actual directory services, and loads the most recent data into a
result list. This might take a few seconds. And it's not implemented
for all channel plugins however.</p>
<p class="p">With <span class="gui">Cache find</span> would just look up entries in your
already downloaded channel/genre lists. This is sufficient when
you're just looking for something previously seen/listended to.</p>
</div></div>
</div></div>
<div class="sect sect-links" role="navigation">
<div class="hgroup"></div>
<div class="contents"><div class="links guidelinks"><div class="inner">
<div class="title"><h2><span class="title">More Information</span></h2></div>
<div class="region"><ul> |
|
|
|
|
| 32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53 | <div class="region"><div class="contents">
<p class="p">You can get to the search dialog via <span class="guiseq"><span class="gui">Edit</span> ▸ <span class="gui">Find</span></span> or <span class="key"><kbd>Ctrl</kbd></span>+<span class="key"><kbd>F</kbd></span>. Centrally
to this dialog is the text field, where you can specify the phrase
to scan for.</p>
<div class="media media-image"><div class="inner"><img src="img/search.png" class="media media-block" alt=""></div></div>
<p class="p">It either will search in all channels, or just the last active
channel/service.</p>
<p class="p">Then there are two search variants. You mostly want to use
the live <span class="gui">Server search</span>. It passes your search terms to
the actual directory services, and loads the most recent data into a
result list. This might take a few seconds. And it's not implemented
for all channel plugins. (Some websites/APIs don't have a search.)</p>
<p class="p">While <span class="gui">Cache find</span> would just look up entries in your
already downloaded channel/genre lists. This is sufficient when
you're just looking for something previously seen/listened to.</p>
</div></div>
</div></div>
<div class="sect sect-links" role="navigation">
<div class="hgroup"></div>
<div class="contents"><div class="links guidelinks"><div class="inner">
<div class="title"><h2><span class="title">More Information</span></h2></div>
<div class="region"><ul> |