commit 0cb225d316daa1fac671bcdd5dc19c55b2259c47 Author: David Fifield david@bamsoftware.com Date: Mon Sep 10 21:35:28 2012 -0700

Remove unused Badge.set_color. --- flashproxy.js | 4 ---- 1 files changed, 0 insertions(+), 4 deletions(-)

diff --git a/flashproxy.js b/flashproxy.js index 7e5a28d..32eb534 100644 --- a/flashproxy.js +++ b/flashproxy.js @@ -784,10 +784,6 @@ function Badge() { this.elem.className = "dead"; this.disable_button.style.display = "none"; } - - this.set_color = function(color) { - this.elem.style.backgroundColor = color; - }; }

function quote(s) {