Closed GoogleCodeExporter closed 9 years ago
Rerunning a query is pretty much the definition of "refresh" when it comes to
mysql.
Also the keyboard shortcuts for Run have been abundantly discussed after the
1.0 release.
Going by the feedback we will not change this shortcut again in a long time.
Original comment by schlabbe...@gmail.com
on 1 Aug 2013 at 7:15
Original issue reported on code.google.com by
terciofi...@gmail.com
on 22 Jul 2013 at 8:45