fix infinite loop when the theme version is incremented.
add zoom ruler to editor demo.html