A code mirror view plugin for BetaJS