Open3
draw.ioのメモ

- 作図が終了したらファイル⇨Exportで画像を保存できる
- 同じものを作ろうとするときは複製ができるのでできるだけ塊で作る

- 画質を上げたいときはdrawioのファイル->属性で
Export Properties
の項目を開き,ズームを1000%にする - latexの方も画像が大きくなるので,
scale
を1/10にする

- VSCodeの拡張機能(draaawio integration)では数式がうまくExportされないので,ブラウザ版かアプリ版を使う
Export Properties
の項目を開き,ズームを1000%にするscale
を1/10にする