search

zxcalc / quantomatic

Quantomatic is a tool for doing automated graph rewriting.
http://quantomatic.github.io
154 stars 22 forks source link

Tab management #155

Open hmillerbakewell opened 6 years ago

hmillerbakewell commented 6 years ago

Suggest taking ideas from web browsers ("close all", "close others") etc.

hmillerbakewell commented 6 years ago

Sadly listening to mouse events on the current TabbedPane implementation blocks the event, and so prevents native behaviour.