> Just two things: first I’d like to make the “Complain” banner possible
> to hide, so that it doesn’t mask text (it’s really really annoying),
> since we don’t need it anymore once we complained ^^"

Hi Alexandre,
I made some changes to the 'Complain' banner, and it's a little less
annoying now. You can see the changes in the test release here:
    http://alpha.gnu.org/gnu/librejs/librejs-6.0.8.20141206.xpi

Reply via email to