Refresh notepad CodeMirror object

When the notepad CodeMirror object becomes visible, call refresh() on it
to prevent graphical artifacts