(function() {    var toc =  [{"name":"プラグインについて","type":"item","tilePath":"","description":"","url":"plugin/6_17_01.html"},{"name":"プラグインを実行する","type":"item","tilePath":"","description":"","url":"plugin/6_17_03.html"},{"name":"［検索してマーク］ダイアログボックス","type":"item","tilePath":"","description":"","url":"plugin/deskdp036.html"},{"name":"［検索してマークプラグインの設定］ダイアログボックス","type":"item","tilePath":"","description":"","url":"plugin/deskdp035.html"},{"name":"［四角形のプロパティ］ダイアログボックス","type":"item","tilePath":"","description":"","url":"plugin/deskdp038.html"},{"name":"［付箋のプロパティ］ダイアログボックス","type":"item","tilePath":"","description":"","url":"plugin/deskdp039.html"},{"name":"［テキストのプロパティ］ダイアログボックス","type":"item","tilePath":"","description":"","url":"plugin/deskdp040.html"}];    window.rh.model.publish(rh.consts('KEY_TEMP_DATA'), toc, { sync:true });    })();