Widgets

set button 色1 色2 色3 色4 色5 色6 色7 色8 太さ スクリプトで作るGUIで使用するボタンの設定。
色1 ボタンが「on」の時のボタン中の文字の色
色2 ボタンが「on」の時のボタンの色
色3 ボタンが「on」の時の3D表示の右、下の境界の色
色4 ボタンが「on」の時の3D表示時の左、上の境界の色
色5 ボタンが「off」の時のボタン中の文字の色
色6 ボタンが「off」の時のボタンの色
色7 ボタンが「off」の時の3D表示の右、下の境界の色
色8 ボタンが「off」の時の3D表示の左、上の境界の色
太さ 3D表示時の境界の太さ
draw button 数字 x y 幅 高さ 文字列 指定した位置、大きさ等でボタンを 表示。最初の数字はボタン番号(1〜512)。
redraw button ボタン番号 0|1 指定したボタン番号のボタンを再表示。「0」は 「off」、「1」は「on」を指定。
set rband 数字 モード x1 y1 x2 y2 詳細不明