Option to show line numbers in editor

It would be nice to have an option for that. An example how options can be created/used in a plugin is in Plugin: Note Tabs