「ブックマーク一覧ジャンプ」の版間の差分
sukemaru版を追加 |
|||
| 90行目: | 90行目: | ||
* 設定項目で "ジャンプ先までの範囲選択" はしない状態を初期値にした | * 設定項目で "ジャンプ先までの範囲選択" はしない状態を初期値にした | ||
* ブックマーク行の文字列取得 ～ メニューに表示するラベルの生成 の速度を改善 | * ブックマーク行の文字列取得 ～ メニューに表示するラベルの生成 の速度を改善 | ||
* | * ポップアップメニューの体裁を変更（「[[ポップアップメニューで検索先にジャンプ#sukemaru_版|検索ジャンプ]]」マクロにあわせた） | ||
* ステータスバーにブックマーク件数などの情報を表示 | * ステータスバーにブックマーク件数などの情報を表示 | ||
| 107行目: | 107行目: | ||
* 「ブックマーク一覧ジャンプ」 | * 「ブックマーク一覧ジャンプ」 | ||
* Orginal created by: goat (Last update: 2012/09/24) | * Orginal created by: goat (Last update: 2012/09/24) | ||
* Modified by: sukemaru | * Modified by: sukemaru (2018/08/08 - 2019/03/29) | ||
* --------------------------------------------------------- | * --------------------------------------------------------- | ||
*/ | */ | ||
| 279行目: | 279行目: | ||
function TimerElapsed( end, start ) { | function TimerElapsed( end, start ) { | ||
var elapsed = end - start; | var elapsed = end - start; | ||
return " [ " | return " [ " | ||
+ ( ( elapsed / 1000 ) + "000" ).replace( /(\.)(\d{3})(0*)/, "$1 $2" ) | + ( ( elapsed / 1000 ) + "000" ).replace( /(\.)(\d{3})(0*)/, "$1 $2" ) | ||
スポンサーリンク