<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Apr 30, 2013 at 3:19 PM, Denis Rouzaud <span dir="ltr"><<a href="mailto:denis.rouzaud@gmail.com" target="_blank">denis.rouzaud@gmail.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Do you think it could be interesting to integrate this also in the settings dialog? If the left panel can be integrated as a tree widget item in the panel of the settings dialog (as I just proposed for the labelling).</blockquote>

</div><br>Not sure I follow that.  Why would you want plugins in the settings dialog?  </div><div class="gmail_extra"><br></div><div class="gmail_extra" style>- Nathan</div></div>