<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 19 June 2014 11:08, Nicholas Bollweg <span dir="ltr"><<a href="mailto:nick.bollweg@gmail.com" target="_blank">nick.bollweg@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 dir="ltr">Sorry: I should have provided a link! <span style="font-family:courier new,monospace">_view_static</span>, <span style="font-family:courier new,monospace">_view_module</span> and <span style="font-family:courier new,monospace">_view_style</span>, in the <a href="https://github.com/bollwyvl/cookiecutter-ipython-widget/blob/master/%7B%7Bcookiecutter.repo_name%7D%7D/%7B%7Bcookiecutter.pkg_name%7D%7D/widgets/%7B%7Bcookiecutter.widget_file%7D%7D.py#L23" target="_blank">mixin</a>.<br>


<br><div>

<div class="gmail_extra"><div class=""><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div class="gmail_extra">


<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div></div>Would there be a benefit to these being traitlets? I haven't spent much time with them (aside for front-end oriented widget stuff).</blockquote>




</div></div></div><div class="gmail_extra">Sorry, to what being traitlets?<br></div></div>
</blockquote><br></div></div><div class="gmail_quote">None of these will be used client-side, as opposed to <span style="font-family:courier new,monospace">_view_name</span>, which is (in <span style="font-family:courier new,monospace">create_view</span>), but is there still some reason for them to be traitlets?<br>


</div></div></div></div></blockquote></div><br></div><div class="gmail_extra">Well, something like _view_module will be used client side once I get to the refactoring I've proposed. Other than that, you could use traitlets - it gets you some type checking - but I don't see any huge advantage of doing so.<br>

<br></div><div class="gmail_extra">Thomas<br></div></div>