fixed Changing theme after loading codemirror fails #74