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