ちょっと前にジャガーのリーク画像の小さいバッジ付きウィンドウについて
「ドックにしまったウィンドウをドラッグ＆ドロップすると
その大きさのままデスクトップに置ける」って説明してた人がいたけど、
あれはほんとは>>550の動作が正解なの？