ジャンプ時の拡大表示

実行方法

ツールバーの アイコンをクリックすることで、ジャンプ時の拡大表示の ON/OFF を切り替えることができます。

例えば下図のように表示されている際に、マークにジャンプすると表示はそれぞれ以下のようになります。

• ジャンプ時の拡大表示が ON

マーク周辺を拡大して表示します。

• ジャンプ時の拡大表示が OFF

拡大率を変更せずにマークを表示します。

関連する設定

ジャンプ時の設定はプリファレンスから変更することができます。 詳しくはプリファレンス Window/Screen ページの Jump/Area Expansion Rate When Jumping to an Item Which Has Size, Jump/Window Size When Jumping to an Item Which Has No Size をご覧ください。