> On 27 Jun 2017, at 17:18, Robert Eckhardt <reckha...@pivotal.io> wrote: > > > >> On Tue, Jun 27, 2017 at 5:03 PM, Joao Pedro De Almeida Pereira >> <jdealmeidapere...@pivotal.io> wrote: >> Hello Hackers, >> >> When we started the app we noticed some change in the front end. >> >> The line numbers in the Editor: >> - We noticed a bug with the numbers where at 10000 rows, the numbers would >> be cut off. >> - When the row is selected the color of the text should be white >> - Centering the number column would differentiate it from the rest of the >> table and prevent any confusion >> > > Do we want line numbers? I'm of mixed opinion. On the one hand it implies and > ordered set of results when Postgres inherently doesn't order results. On the > other hand it nicely tells you where you are in the results set if you are > scrolling around.
Yes, they are incredibly useful.