Change editor for notebook based on preferences. Before this change it was always code mirror, changing text editor and source code editor in preferences had no effect on notebook. My test for wendelin tutorial was failing because of this, after this change it doesn't fail anymore.