辺の長さの表示/非表示を切り替えるトグルボタン
トグルボタンをONにすると、辺の長さを表示する。
オリジナルツール「ToggleButton」
白い点をスライドさせると、true / false を切り替えられるトグルボタンです。
白い点(Bとします)をクリックすることで、true / false を切り替えるようにするには、点BのOn Update スクリプトとして、以下を記述してください。
出力された真偽値をa, 緑の点をC, 灰色の点をDとして、
If[a==true, SetValue[B,D], SetValue[B,C]]