ui: When clicking "syntax off": Uncaught TypeError: Cannot read property 'setOption' of undefined

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Open javascript console in the browser of your choice
2. Click the "syntax off" button
3. See the error message appear.

What is the expected output? What do you see instead?
Syntax highlighting becomes disabled. Instead the highlighting remains.

What version of the product are you using? On what operating system?
c0237d6f6a0e

Please provide any additional information below.

Also, the label "syntax off" is confusing. I didn't immediately grasp the 
meaning, even though it was the feature I was looking for. Perhaps 
"highlighting off" would be more obvious.

Original issue reported on code.google.com by kamil.ki...@gmail.com on 21 May 2014 at 1:14

[GoogleCodeExporter]

Yep I've noticed this too.

Original comment by a...@golang.org on 21 May 2014 at 1:21

• Changed state: Accepted

[GoogleCodeExporter]

This issue was closed by revision 27fad7d05796.

Original comment by campoy@golang.org on 21 May 2014 at 4:11

• Changed state: Fixed