Thank you very much! We will take a look at these.
I'm especially curious how you mimicked traitlets and how you plan to keep
these up to date.
The JavaScript code for these libraries continues to develop - it's a
moving target to keep up with them.
Best,
Christian Schafmeister,
Professor,
This is currently not possible, but can be accomplished by adding a
configuration option to the application and passing it to the client. Mind
opening an issue?
Regards,
Steve
On Wednesday, September 5, 2018 at 5:54:44 AM UTC-5, j...@innaxis.org wrote:
>
> Hi all,
>
> How can I disable