The line numbering behavior is curious. They seems to disappear when I click, but not if I click-and-drag to select.
Syntax highlighting with line numbers is tricky business. It is very difficult to get both 1) Perfectly aligned numbers and 2) Support for copy and paste without numbers.
Syntax highlighting with line numbers is tricky business. It is very difficult to get both 1) Perfectly aligned numbers and 2) Support for copy and paste without numbers.
There must be a decent Javascript solution...