From be9f3daa6c1969bc2c30b0e954d2e7c19328abb0 Mon Sep 17 00:00:00 2001
From: Daniel Carl <danielcarl@gmx.de>
Date: Sat, 9 Aug 2014 18:07:09 +0200
Subject: [PATCH] Use String(val) instead of val.toString().

This seems to be a little faster in current JavaScript implementation of
webkit.
---
 src/hints.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 {
-- 
2.20.1