Link to debug file open in log line timestamp

maubot/management/frontend/src/pages/dashboard/Log.js

@@ -50,10 +50,25 @@ class LogEntry extends PureComponent {
         return this.props.line.msg
     }
 
+    onClickOpen(path, line) {
+        return () => {
+            if (api.debugOpenFileEnabled()) {
+                api.debugOpenFile(path, line)
+            }
+            return false
+        }
+    }
+
+    renderTimeTitle() {
+        return this.props.line.time.toDateString()
+    }
+
     renderTime() {
-        return <span className="time" title={this.props.line.time.toDateString()}>
+        return <a className="time" title={this.renderTimeTitle()}
+                  href={`file:///${this.props.line.pathname}:${this.props.line.lineno}`}
+                  onClick={this.onClickOpen(this.props.line.pathname, this.props.line.lineno)}>
             {this.props.line.time.toLocaleTimeString("en-GB")}
-        </span>
+        </a>
     }
 
     renderLevelName() {
@@ -88,10 +103,9 @@ class LogEntry extends PureComponent {
             /File "(.+)", line ([0-9]+), in (.+)/g,
             (_, file, line, method) => {
                 fileLinks.push(
-                    <a href={"#/debugOpenFile"} onClick={() => {
+                    <a href={`file:///${file}:${line}`} onClick={this.onClickOpen(file, line)}>
-                        api.debugOpenFile(file, line)
+                        File "{file}", line {line}, in {method}
-                        return false
+                    </a>,
-                    }}>File "{file}", line {line}, in {method}</a>,
                 )
                 return "||EDGE||"
             })