diff options
| author |  Benjamin Jones <bjones@galois.com> | 2013-08-05 16:10:59 -0700 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2013-08-05 16:10:59 -0700 |
| commit | 51f5a2477adb718a1868483cf00e04816bf7423a (patch) | |
| tree | a2d98aadae81bd58ef3c331b4c8c17bcad9efe83 /src/js/fiveui/injected | |
| parent | 5d0167e9bb639e58698ad6d2c9d279f2d2474dbe (diff) | |
| parent | 50f92b54550aa296cdc902c957af1efd35b24da1 (diff) | |
Merge branch 'new-ui' into new-ui-severity
Diffstat (limited to 'src/js/fiveui/injected')
| -rw-r--r-- | src/js/fiveui/injected/ui.js | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/js/fiveui/injected/ui.js b/src/js/fiveui/injected/ui.js index 8bedc46..e02d83d 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(); @@ -363,6 +361,8 @@ this.$el.one('click', _.bind(this.open, this)); this.$body.slideUp(100); + + core.maskProblem(this.problem); }, open:function() { @@ -371,6 +371,8 @@ this.$el.one('click', _.bind(this.close, this)); this.$body.slideDown(100); + + core.highlightProblem(this.problem); }, }); @@ -420,7 +422,7 @@ } else { // add the rule to the list of highlighted elements, and change its style // to look obvious. - var elt = core.query('.' + prob.hash); + var elt = fiveui.query('.' + prob.hash); var oldStyle = elt.attr('style'); core.maskRules(function() { @@ -443,7 +445,7 @@ obj.highlighted = obj.highlighted - 1; if(obj.highlighted == 0) { - var elt = core.query('.' + prob.hash); + var elt = fiveui.query('.' + prob.hash); // remove the fiveui style core.maskRules(function() { |