Incidentally I always imagined if we did this sort of thing it would be the most natural to put the pinned tabs in the left-side hbox, and not keep them as regular tabs. If you haven't considered that, it might make thinks easier.
« Back to merge proposal
Incidentally I always imagined if we did this sort of thing it would be the most natural to put the pinned tabs in the left-side hbox, and not keep them as regular tabs. If you haven't considered that, it might make thinks easier.