title: Line numbering in result grid in MySQL Workbench
body: <p>Is there any way to add some line numbers in the result grid in MySQL Workbench?</p>
  
  <p>E.g. (red numbers):</p>
  
  <p><img src="https://i.stack.imgur.com/CeJNM.png" alt="enter image description here"></p>
  
  <p>I don't want to have to change the SQL query, which I know I can do using <a href="https://www.quora.com/SQL/How-can-I-add-the-row-number-in-the-result-tuples-of-my-SQL-query/answer/Franck-Dernoncourt?share=1" rel="noreferrer">tricks</a> like</p>
  
  <pre><code>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
  </code></pre>
  
  <p>I also don't want to have to export the results.</p>