レイヤー

GeoGebraでは,ユーザーが複数のオブジェクトを同時にクリックした際,どのオブジェクトを選択またはドラッグするかを決定するためにレイヤーが使用される.

デフォルトでは,すべてのオブジェクトはレイヤー0に描画され,基本的にMenu view graphics.svg グラフィックスビュー の背景レイヤーとなる.レイヤーは全部で10種類あり(0から9まで),番号の大きいレイヤーは番号の小さいレイヤーの上に描かれる.

プロパティダイアログ上級 タブを使うと,あるオブジェクトのレイヤーを変更することができる(0から9までのレイヤーが使用可能).少なくとも1つのオブジェクトのレイヤー番号をレイヤー0と異なる番号に変更すると (例えばレイヤー3に変更), すべての新しいオブジェクトはどのオブジェクトにも使われている最も大きい番号(例えばレイヤー3)のレイヤーに描画される.

GeoGebraデスクトップ版では,任意のオブジェクトを選択した後,編集メニューから 現在のレイヤーを選択(キーボードショートカット:Ctrl
L)」を選択することで,そのレイヤーにあるすべてのオブジェクトを一括で選択することができる.ただし,この操作は選択されているオブジェクトが全て同一レイヤー上にある場合に限り可能である.

レイヤーのさらなる活用

  • SVGエクスポートでは,オブジェクトはレイヤーごとにグループ化される.

  • レイヤーは,GeoGebra アプレットの JavaScript インターフェイスを使用して制御できる.