From a0d2755c72af70197a61c0ee3e34a1b7deb3b79f Mon Sep 17 00:00:00 2001
From: ale <ale@incal.net>
Date: Thu, 29 Sep 2011 08:41:48 +0100
Subject: [PATCH] only show last few debug messages
---
server/djrandom/frontend/static/css/style.css | 11 ++++++++---
server/djrandom/frontend/static/js/djr/player.js | 6 +++++-
2 files changed, 13 insertions(+), 4 deletions(-)
diff --git a/server/djrandom/frontend/static/css/style.css b/server/djrandom/frontend/static/css/style.css
index e668318..b666628 100644
--- a/server/djrandom/frontend/static/css/style.css
+++ b/server/djrandom/frontend/static/css/style.css
@@ -212,7 +212,12 @@ table.summary {
}
#debug {
- margin-top: 30px;
- font-size: 75%;
- color: #999;
+ margin-top: 30px;
+ font-size: 75%;
+ color: #999;
+}
+
+#debug p {
+ margin: 0;
+ padding: 0;
}
diff --git a/server/djrandom/frontend/static/js/djr/player.js b/server/djrandom/frontend/static/js/djr/player.js
index be7e5b3..15baf97 100644
--- a/server/djrandom/frontend/static/js/djr/player.js
+++ b/server/djrandom/frontend/static/js/djr/player.js
@@ -459,7 +459,11 @@ djr.player = function() {
// Debugging.
djr.debug = function(msg) {
- $('#debug').append(msg + '<br>');
+ var n_logs = $('#debug p').length;
+ if (n_logs > 7) {
+ $('#debug p:first').remove();
+ }
+ $('#debug').append('<p>' + msg + '</p>');
};
// An error has occurred in the player.
--
GitLab