<br><br><div><span class="gmail_quote">On 12/12/05, <b class="gmail_sendername">Jens Dagerbo</b> <<a href="mailto:jens.dagerbo@gmail.com">jens.dagerbo@gmail.com</a>> wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><div>konsolepart (from kdelibs), so we can't easily stop it from executing, but if the konsolepart closes the kdevelop konsole plugin will still be loaded, but no longer unfunctional.
<br></div></div></blockquote></div><br>Sigh. I shouldn't be allowed near a keyboard before I've had some tea. <br><br>It should read: "if the konsolepart closes, the kdevelop konsole plugin will still be loaded but no longer functional."
<br><br>Which is bad. Hence reactivate it if it gets destroyed.<br><br>// jens<br>