Open Max-ChenFei opened 1 year ago
Update the title on the tabbar and widgets both
Example from jupyter lab
I'm not 100% sure what you want... something like this?
Please all commit the js file. I think we only care about the first level of tab and graph editor in the second level
after #181
Highlight the selected editor and graph editor for example increase width of the border. You can change the css class when replace the new editor and graph_editor