40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
-
+
|
</div>
<div id="configuration" class="sect"><div class="inner">
<div class="hgroup"><h2 class="title"><span class="title">Configuration</span></h2></div>
<div class="region"><div class="contents"><div class="list"><div class="inner"><div class="region"><ul class="list">
<li class="list"><p class="p">Alternative download repositories may be configured. (Little
practical value at the moment.)</p></li>
<li class="list">
<p class="p">And you can let the plugin manager handle autoactivation
<p class="p">And you can let the plugin manager handle ☑ autoactivation
of changed plugin states.</p>
<div class="list"><div class="inner"><div class="region"><ul class="list">
<li class="list"><p class="p">After reconfiguring existing channel plugins, they get
automatically instantiated or disabled in the user interface.
(Which avoids the usual restart).</p></li>
<li class="list"><p class="p">This currently doesn't work with feature/core
plugins. Plugin deactivation is mostly visual, but does not undo
|