If you wanna have line numbers turned on by default just add this code to wp-content/plugins/wp-syntax/wp-syntax.php around line 113 right before if ($line) check.
if (!isset($line) || !is_int($line)) {
$line = 1;
}
One of the reasons why I did this was because the line attribute gets removed every time I go from HTML mode to Visual mode. :(