Add job id to result set footer

[worksofliam]

Simply adds the executing job id to the footer of the result set.

[github-actions]

👋 A new build is available for this PR based on 7978248.

• Download here.

[davecharron]

I wonder if the job name text should be slightly less prominent than the results status.
Perhaps font that is grey and/or slightly smaller size.
The way it is displayed in the SQL Job Manager.

[davecharron]

Another idea, perhaps requiring its own PR, would be to add a span to the footer, between the status and the job name, with the caption 'SQL'. Hovering over it would display the formatted SQL that produced the results.

Edited: Alternate idea would be to have the new span have the caption 'Details', that when hovered over, shows the job name and SQL. This approach de-clutters the footer, and makes adding details later more straightforward.

[github-actions]

👋 A new build is available for this PR based on 39c6097.

• Download here.

[worksofliam]

@davecharron

Edited: Alternate idea would be to have the new span have the caption 'Details', that when hovered over, shows the job name and SQL. This approach de-clutters the footer, and makes adding details later more straightforward.

I like this idea a lot, but it should be a separate PR. Also, I don't know if from a web view we get the same cool hover support like we do with tree views.

[github-actions]

👋 A new build is available for this PR based on 66d6118.

• Download here.

[davecharron]

Send it.

[github-actions]

👋 A new build is available for this PR based on 0def90d.

• Download here.