gregh
1
Hello, I recently updated my editor and now the space character seems too large now when compared to previous versions.
ͼ1 .cm-highlightSpace {
background-image: radial-gradient(circle at 50% 55%, #aaa 20%, transparent 5%);
background-position: center;
}
#aaa 20% possibly be 5%?
20%
5%
the commit
Thanks
marijn
2
The current size is intentional and looks fine to me. But of course you can override this CSS to adjust it locally if you prefer.