This sure would be great…
But I really don’t like the selecting the code goes. The line numbers are selected too. So when copy/pasting the code you’ll have to remove those annoying line numbers first.
For example WP-Syntax or Google Syntax Highlighter don’t have this problem.
