もし仮に、縦横別拡大縮小機能が実装されるなら、
①縦縮尺％，横縮尺％で独立設定：縦縮尺＝横縮尺で均等拡大縮小
②縮尺％，縦横比（＝縦/横）で設定：縦横比＝1で均等拡大縮小
のどちらが使い勝手が良いかな？

あと、もしも縦横別拡大縮小が採用されるなら、
①現在の移動（拡大縮小）パネルのプロパティを機能拡張
②新規に移動（縦横比変更）パネルを追加
のどちらが望ましいかな？