Line numbering in result grid in MySQL Workbench

Question

Is there any way to add some line numbers in the result grid in MySQL Workbench?

E.g. (red numbers):

I don't want to have to change the SQL query, which I know I can do using tricks like

SELECT @n := @n + 1 `Number of Submissions`,  t.*
FROM (SELECT @n:=0) initvars, 
    ( SELECT COUNT(*) AS count 
          FROM moocdb.submissions 
          GROUP BY user_id 
          ORDER BY count DESC
    ) t

I also don't want to have to export the results.

Answer 1

Not sure if that is a good question for SO, but anyway: no this is not possible. Nobody asked for that so far, so, file a feature request at http://bugs.mysql.com to have that in.