use code mirror instead