Manager: make the worker IP address a click-to-copy field

Now you can click on the worker's IP to copy it to the clipboard.

CHANGELOG.md

@@ -4,6 +4,10 @@ This file contains the history of changes to Flamenco. Only changes that might
 be interesting for users are listed here, such as new features and fixes for
 bugs in actually-released versions.
 
+## 3.1 - in development
+
+- Web interface: make the worker IP address clickable; it will be copied to the clipboard when clicked.
+
 ## 3.0 - released 2022-09-12
 
 - Faster & more accurate progress reporting of file submission.

web/app/src/components/workers/WorkerDetails.vue

@@ -20,7 +20,7 @@
       <dd title="Version of Flamenco">{{ workerData.version }}</dd>
 
       <dt class="field-ip_address">IP Addr</dt>
-      <dd>{{ workerData.ip_address }}</dd>
+      <dd><span @click="copyElementText" class="click-to-copy">{{ workerData.ip_address }}</span></dd>
 
       <dt class="field-platform">Platform</dt>
       <dd>{{ workerData.platform }}</dd>