alexDeCastroAtGit

I hacked my way around refreshing the browser window, but the buttom (+) gets stuck often. I think in terms of creating customised clusters, the UI is really good and...

Yes, I mean actually numbering the outputs for IO stream navigation in the notebook. Thanks Andy

P.S.: the flattener assuming the I have the values of a serialized json. ``` def flatten(t: List[(String, Any)]): List[(String, Any)] = t match { case Nil => Nil case (s,...

Hi Benoit, tried it before. Sorry for the delayed answer. Email got buried amidst git and jira emails. I think it's browser specific how the jsonscript engine renders the initial...