607201be79
* fix(web): tighten dockview topbar button sizing * fix(web): keep editor button focus ring inside clipped container