Draw.io Tips

はじめに

時々必要になるが、その時には多分忘れているであろう知識を書き残しておく。

背後あるオブジェクトを選択する

Altキーを押しながらクリックすれば選択できる。

添え字が大きすぎる

x_{\scriptsize foo} のようにして対処できる。

コメントを残す