2017/08/26 Ver9.02・レイヤグリッドにも「ヒット非表示」を付ける・ページ名・レイヤ名編集のダイアログを大きくする(可変InputQuery化)・スクリプトに関数 GetKeyStat() を追加(特殊キーの押下状態の取得用)正式版と致します。GetKeyStat()に関しては、スクリプト投稿にサンプルをおいておきます。