From c0e1c7051bc32ea61c77f46d15bfd317609e4a7b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89ric=20Lemoine?= <eric.lemoine@gmail.com>
Date: Tue, 12 Nov 2013 10:48:25 +0100
Subject: [PATCH] Add display-frame-rate.js script

---
 resources/display-frame-rate.js | 35 +++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 resources/display-frame-rate.js

diff --git a/resources/display-frame-rate.js b/resources/display-frame-rate.js
new file mode 100644
index 0000000000..e7c93fb1ac
--- /dev/null
+++ b/resources/display-frame-rate.js
@@ -0,0 +1,35 @@
+/**
+ * Display frame rate in a span element added to the navigation bar.
+ */
+(function() {
+
+  var container = document.querySelector('.navbar .navbar-inner .container');
+  if (!container) {
+    return;
+  }
+
+  var fpsElement = document.createElement('span');
+  fpsElement.style.color = 'white';
+
+  container.appendChild(fpsElement);
+
+  var frameCount = 0;
+  var begin = +new Date();
+
+  window.setInterval(function() {
+    var end = +new Date();
+    var milliseconds = end - begin;
+    var seconds = milliseconds / 1000.0;
+    var frameRate = frameCount / seconds;
+    fpsElement.innerHTML = frameRate.toPrecision(4) + ' fps';
+    frameCount = 0;
+    begin = end;
+  }, 500);
+
+  var go = function() {
+    frameCount++;
+    window.requestAnimationFrame(go);
+  };
+  go();
+
+})();