GeoGenの環境設定

公開 更新

環境:GeoGen 0.4.1-beta

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

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

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

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

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

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

← 記事一覧へ