<div dir="ltr">I don't mind the idea but I'm not for plugins living in the settings dialog. Plugins are not settings they are their own standalone thing.<div><br></div><div style>Having some kind of settingsWidget() method exposed on each plugin that so that we can add plugin settings in the settings dialog is not a bad idea, but I think the installer and manager should live outside of the settings dialog.</div>
<div style><br></div><div style>- Nathan</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Apr 30, 2013 at 3:54 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">
<div bgcolor="#FFFFFF" text="#000000">
Well, I like the idea of having everything grouped.<br>
<br>
For example in pyCharm everything is in one dialog: application and
project settings. And you can search for anything in a search bar.<br>
<br>
If the left panels can be nested (as suggested previously), I would
even consider integrating the project settings in the main settings.<br>
<br>
I would leave them directly accessible from menus of course, but
just as shortcuts leading to the main dialog but with the right
panel open.<br>
<br>
You then would have everything accessible at one place.<div><div class="h5"><br>
<br>
<div>On 04/30/2013 07:46 AM, Nathan Woodrow
wrote:<br>
</div>
<blockquote type="cite">
<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">- Nathan</div>
</div>
</blockquote>
<br>
</div></div></div>
</blockquote></div><br></div>