<br><br><div><span class="gmail_quote">On 12/10/05, <b class="gmail_sendername">Ivor Hewitt</b> <<a href="mailto:ivor@ivor.org">ivor@ivor.org</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;">
Updated patch attached. Now also minimises the konsole part if you "close<br>terminal emulator".<br><br>Does anyone have any objections to this?</blockquote><div><br>Yes. I think this is wrong.<br><br>I only looked at the patch, haven't tested it, but the konsole part shouldn't be allowed to be destroyed. The "close terminal emulator" action is put into the popupmenu by the 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><br>If the user wants to close the kdevelop konsole plugin, he/she should unload it like any other plugin - in the plugin configuration.</div><br></div>// jens<br>