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