Sometimes you would like to re-run older queries. We should keep history of what has been run in the result window.
Bonus points for showing the query in the workspace (highlight the region). We can do this with markers maybe? (and check the region integrity with a checksum... if it gets broken get rid of the markers)
Fuco1
commented
8 months ago
Sometimes you would like to re-run older queries. We should keep history of what has been run in the result window.
Bonus points for showing the query in the workspace (highlight the region). We can do this with markers maybe? (and check the region integrity with a checksum... if it gets broken get rid of the markers)