I just want to float this and get a sense for what the level of effort would be to add left gutter line numbers to the body pane.
It may sound minor but one of the features I miss the most in Leo is left gutter line numbers. I've done some searches on the group and it seems like the last time anyone mentioned line numbers in the body pane was back in 2010. Perhaps we can revisit this feature, it would be super awesome! -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
