Fix #564: Add user preference to have line numbers displayed in editor by default