export of coderefs to reveal.js

[Johannes Brauer]

Hi!

Using coderefs for normal html export works fine. On mouseover the target line 
is highlighted. But exporting the same org file to reveal.js with org-reveal I 
get the following error message (in Chrome):

VM22943 slide-org57a7ad2:249 Uncaught ReferenceError: CodeHighlightOn is not 
defined
    at HTMLAnchorElement.onmouseover (VM22943 slide-org57a7ad2:249) 

There is no CodeHighlightOn/Off script in the exported file.
Is it possible to get this working?

Johannes