It would be cool if when you enter in a source tag, it would have the line numbers to the left side.
Reasons:
Good for referencing lines (in line 3, X happened to Y so Z can take place)
Requirements
When selecting text, the line number isn't picked up. This would make it easy to copy paste.
Research shows that this is now finally stable:
https://www.mediawiki.org/wiki/Extension:SyntaxHighlight_GeSHi
thus this feature comes for free when we set line=1 in the tag.
CSS still needs to be monospaced though, but you can see a preliminary result here:
http://it.wikitolearn.org/Java/Variabili#Dichiarazione_di_variabile
OK, now for consistency reasons maybe it's better to turn off line numbering if not present in the web version?
@atundo what do you think about it?