GeoGenの環境設定
環境:GeoGen 0.4.1-beta
※随時更新していきます。
Tabでノードメニューを開きたい
一般的なツールと同じようにTabでノードメニューを開けるようにマッピングを変更する。 Settings > Preferences > Shortcuts

Open Node Menuのキーを変更する。
ビューポートのグリッドを消したい
Settings > Preferences > General Heightmap ground styleをNoneにする。
とあるデザイナーのテクニカルノート
環境:GeoGen 0.4.1-beta
※随時更新していきます。
一般的なツールと同じようにTabでノードメニューを開けるようにマッピングを変更する。 Settings > Preferences > Shortcuts

Open Node Menuのキーを変更する。
Settings > Preferences > General Heightmap ground styleをNoneにする。