diff options
Diffstat (limited to 'googleselect.js')
| -rw-r--r-- | googleselect.js | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/googleselect.js b/googleselect.js index 24c4eca..4d0bc8e 100644 --- a/googleselect.js +++ b/googleselect.js @@ -16,36 +16,36 @@ let PLUGIN_INFO = xml` // }}} (function () { - var google_url = 'https:\/\/www.google.co.jp\/search.*'; + let google_url = 'https:\/\/www.google.co.jp\/search.*'; /* user config */ // 選択状態表示マーカー - var SELECT_MARKER_CHAR = '▶'; + let SELECT_MARKER_CHAR = '▶'; // マーカー位置微調整 - var SELECT_MARKER_REPOSITION_LEFT = '0em'; - var SELECT_MARKER_REPOSITION_TOP = '0.3em'; + let SELECT_MARKER_REPOSITION_LEFT = '0em'; + let SELECT_MARKER_REPOSITION_TOP = '0.3em'; /* hard config */ - var GOOGLE_SELECTION_CLASS = 'r'; - var GOOGLE_SELECTION_SELECTED_CLASS = 'r-selected'; + let GOOGLE_SELECTION_CLASS = 'r'; + let GOOGLE_SELECTION_SELECTED_CLASS = 'r-selected'; commands.addUserCommand( ['googleselect'], 'move select in google search result', function (args) { - var v = 1; + let v = 1; if (args.length && args[0] == 'back') { v = -1; } - var $rs = window.content.window.document.getElementsByClassName(GOOGLE_SELECTION_CLASS); - var pre = -1; - for (var i = 0; i < $rs.length; i++) { + let $rs = window.content.window.document.getElementsByClassName(GOOGLE_SELECTION_CLASS); + let pre = -1; + for (let i = 0; i < $rs.length; i++) { if ($rs[i].className.indexOf(GOOGLE_SELECTION_SELECTED_CLASS) != -1) { pre = i; break; } } // ターゲット表示スタイル - var $pointer = window.content.window.document.createElement('span'); + let $pointer = window.content.window.document.createElement('span'); $pointer.style.color = 'blue'; $pointer.id = 'google-select-pointer'; $pointer.style.position = 'absolute'; @@ -58,7 +58,7 @@ let PLUGIN_INFO = xml` $rs[pre].className = GOOGLE_SELECTION_CLASS; // $rs[pre].style.borderLeft = "none"; $rs[pre].childNodes[0].blur(); - var $e = window.content.window.document.getElementById('google-select-pointer'); + let $e = window.content.window.document.getElementById('google-select-pointer'); $e.parentNode.removeChild($e); } else if (v == -1) { pre = $rs.length; |