Added line numbers and a preferences entry to activate them