「検索ヒット数表示（選択文字列）」の版間の差分
編集の要約なし |
編集の要約なし |
||
| 35行目: | 35行目: | ||
Status = ""; | Status = ""; | ||
var word = document.selection.Text; | var word = document.selection.Text; | ||
if ( word.length | if ( word ) { | ||
var len = word.length; | |||
var dText = document.Text; | var dText = document.Text; | ||
var pos = 0, hit = 0; | var pos = 0, hit = 0; | ||
while ( pos >= 0 ) { | while ( pos >= 0 ) { | ||
pos = dText.indexOf( word, pos ); | pos = dText.indexOf( word, pos ); | ||
if ( pos >= 0 ) { | if ( pos >= 0 ) { | ||
pos += | pos += len; | ||
hit ++; | hit ++; | ||
} | } | ||
} | } | ||
var SeparateNum = function( num ) { | var SeparateNum = function( num ) { | ||
return num.toString().replace( /(\d)(?=(?:\d{3})+$)/g, "$1," ); | return num.toString().replace( /(\d)(?=(?:\d{3})+$)/g, "$1," ); | ||
} | } | ||
Status = " ヒット数：" + SeparateNum( hit ) + " 件"; | Status = " ヒット数：" + SeparateNum( hit ) + " 件"; | ||
var TimerElapsed = function( end, start ) { | var TimerElapsed = function( end, start ) { | ||
var elapsedSec = ( ( end - start ) / 1000 ).toFixed( 3 ); | var elapsedSec = ( ( end - start ) / 1000 ).toFixed( 3 ); | ||
return " [ " + elapsedSec.replace( /\./, ". " ) + " 秒 ]"; | return " [ " + elapsedSec.replace( /\./, ". " ) + " 秒 ]"; | ||
} | } | ||
// | // 検索所要時間が不要なら以下の１行をコメントアウトせよ | ||
Status += TimerElapsed( new Date(), timerStart ); | Status += TimerElapsed( new Date(), timerStart ); | ||
} | } | ||
</source> | </source> | ||
スポンサーリンク