GeoGenの環境設定

環境：GeoGen 0.4.1-beta

※随時更新していきます。

Tabでノードメニューを開く

一般的なツールと同じようにTabでノードメニューを開けるようにマッピングを変更する。
Settings > Preferences > Shortcuts

Open Node Menuのキーを変更する。

ビューポートのグリッドを消す

Settings > Preferences > General
Heightmap ground styleをNoneにする。