mi を使っていて、ズームボックスをクリックすると、一定のサイズにウインドウがリサイズされるんですが、画面左上との間に微妙な隙間が出来るんですよねー。
どうしても、ぴったりしたくて、AppleScript を書いてみました。ご利用は自己責任で。
開発環境というか私の環境は、Mac OS 10.4.4、mi 2.1.7b10、Script Editor 2.1.1 です。
tell application "mi"
activate
set bounds of window (get windowindex of document 1) to {0, 44, 800, 1200}
end tell
スクリプト内にある数値は座標で、左端、上端、右端、下端となっています。
うーん、ピッタリ。また少し mi が好きになりました。で、このスクリプトファイルを、
ホーム/ライブラリ/Preferences/mi/標準/tool/
なんかに、「Resize to 800-1200」なんて名前で、スクリプトとして保存しておけば、どのモードでも使えて便利です。