15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
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
new <span class="gui">📦 Add</span> tab in the configuration window.</p>
new <span class="key"><kbd>📦 Add</kbd></span> tab in the configuration window.</p>
<p class="p"><span class="media"><span class="media media-image"><img src="img/pluginmanager2.png" class="media media-inline" alt="Install dialog for user plugins"></span></span></p>
<p class="p">You can scan for available/new plugins there. And have them
downloaded right away. New plugins are just downloaded, not
implictly enabled. Reopen the config dialog to see them in the
regular lists.</p>
</div>
<div id="configuration" class="sect"><div class="inner">
|