diff options
| author |  Trevor Elliott <trevor@galois.com> | 2013-07-31 15:18:48 -0700 |
|---|---|---|
| committer | Trevor Elliott <trevor@galois.com> | 2013-07-31 15:18:48 -0700 |
| commit | 0201e0c683174f18e98084f5a06154bb16b532ec (patch) | |
| tree | c4b797426d9842a9c9f280bdd59cc793fb78fdd3 | |
| parent | f4e818e507aeda392466b2d71b8412517a19ce83 (diff) | |
Remove some debug text
| -rw-r--r-- | src/js/fiveui/injected/ui.js | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/js/fiveui/injected/ui.js b/src/js/fiveui/injected/ui.js index 8bedc46..03a1899 100644 --- a/src/js/fiveui/injected/ui.js +++ b/src/js/fiveui/injected/ui.js @@ -181,8 +181,6 @@ if(height != this.height) { - console.log('changing height'); - this.height = height; var ppos = this.$problems.position(); |