-
Kevin Funk authored
I was editing a simple JS file, see below. theme.js: """ .pragma library var highlightColor = "blue"; var activeHighlightColor = "lightsteelblue"; v<cursor here> """ Denis, please check
df2b4de4
I was editing a simple JS file, see below. theme.js: """ .pragma library var highlightColor = "blue"; var activeHighlightColor = "lightsteelblue"; v<cursor here> """ Denis, please check