I know. I thought about that. I'm not convinced that adjusting the line count is the right answer. We actually do have N lines numbered 0 to N-1.
I suppose we could display the largest line number rather than the number of lines. Then you'd have to remember to add 1 to get the line count... Maybe just display row and column...? Really: what use is the line count (or highest line number) while editing a function? On Fri, Oct 3, 2014 at 1:13 PM, Blake McBride <blake1...@gmail.com> wrote: > Dear David, > > Thanks a lot! Looks a lot better. I did find one small issue with it > though. > > It displays the total number of lines. Nice. Problem is, it is one > greater than the number of lines. I suppose there is a way of looking at > it such that it is correct, but that logic only worked when the line > numbers started at 1. It would be great if the total-number-of-lines > number were reduced by one. i.e. given: > > X/Y, Z > > Y should be one less. > > Thanks. > > Blake > > > On Fri, Oct 3, 2014 at 2:14 PM, David B. Lamkins <dlamk...@galois.com> > wrote: > >> Fixed and pushed. >> >> > -- "The secret to creativity is knowing how to hide your sources." Albert Einstein http://soundcloud.com/davidlamkins http://reverbnation.com/lamkins http://reverbnation.com/lcw http://lamkins-guitar.com/ http://lamkins.net/ http://successful-lisp.com/