Options to modify cursor style

[curtismchale]

You can use custom CSS to adjust the width of the cursor: https://discordapp.com/channels/686053708261228577/702656734631821413/715541084029321318

Stop blinking: https://discordapp.com/channels/686053708261228577/694233507500916796/715320851163250809

.CodeMirror-cursor, div.CodeMirror-cursor{
 visibility: visible !important
}