StyleEdit.HOTSPOTを持つスタイルを設定した文字上でマウス左ダブルクリックした場合に発生するイベントです。
HotspotDoubleClickedイベントは次の構造をもちます。
Event {
Number Style;
Number Position;
String Word;
}
Styleはクリックした箇所のスタイル番号を、Positionはクリックした文字ポジションを、Wordはクリックした箇所の文字列が格納されています。