GeoGenの環境設定

環境：GeoGen 0.4.1-beta

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

Tabでノードメニューを開きたい

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

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

ビューポートのグリッドを消したい

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