WIP: code mirror red border when empty