Tab scaling

[diomidov]

It would be nice if you could scale/zoom the contents of an individual tab.

The UI could be a pair of zoom buttons on the tab, or on the tabset. Unfortunately it doesn't seem to be possible to capture Ctrl++/- or Ctrl + mouse wheel events unless the iframe is on the same domain :(

All tabs with the same (sub)domain name should probably share the scale factor. For example I might want to scale all coauthor.csail.mit.edu tabs by 120%.

This CSS seems to work:

iframe {
  --scale: 1.2;
  width: calc(100% / var(--scale));
  height: calc(100% / var(--scale));
  transform: translate(-50%,-50%) scale(var(--scale)) translate(50%,50%);
}

[edemaine]

We discussed possible UIs for this. Simplest is probably +/- buttons in selected tabs.

If we want to get fancy, under Settings, we could have a list of domains with scale and their current scales, and you could modify e.g. coauthor.csail.mit.edu to *.mit.edu or coauthor.csail.mit.edu/Test to be less or more specific.