From: Daniel Carl <danielcarl@gmx.de>
Date: Sat, 9 Aug 2014 16:07:09 +0000 (+0200)
Subject: Use String(val) instead of val.toString().
X-Git-Url: https://git.owens.tech/assets/112-editable-focus.html/assets/112-editable-focus.html/git?a=commitdiff_plain;h=be9f3daa6c1969bc2c30b0e954d2e7c19328abb0;p=vimb.git

Use String(val) instead of val.toString().

This seems to be a little faster in current JavaScript implementation of
webkit.
---

diff --git a/src/hints.js b/src/hints.js
index f58c0ab..0486714 100644
--- a/src/hints.js
+++ b/src/hints.js
@@ -266,7 +266,7 @@ Object.freeze((function(){
                 /* assign the new hint number to the hint */
                 hint.num = num;
                 /* check for number filter */
-                if (!filterNum || 0 === num.toString().indexOf(filterNum.toString())) {
+                if (!filterNum || 0 === String(num).indexOf(String(filterNum))) {
                     hint.show();
                     validHints.push(hint);
                 } else {