You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
@@ -343,7 +333,7 @@ private function decorate($content, $css)
343
333
$css
344
334
</style>
345
335
</head>
346
-
<body>
336
+
<body ondblclick="var t = event.target; if (t.title && !t.href) { var f = t.innerHTML; t.innerHTML = t.title; t.title = f; }">
347
337
$content
348
338
</body>
349
339
</html>
@@ -368,7 +358,7 @@ private function formatPath($path, $line)
368
358
returnsprintf(' in <a href="%s" title="Go to source">%s line %d</a>', $link, $file, $line);
369
359
}
370
360
371
-
returnsprintf(' in <a title="%s line %3$d" ondblclick="var f=this.innerHTML;this.innerHTML=this.title;this.title=f;">%s line %d</a>', $path, $file, $line);
361
+
returnsprintf(' in <a title="%s line %3$d">%s line %d</a>', $path, $file, $line);
372
362
}
373
363
374
364
/**
@@ -409,6 +399,6 @@ private function formatArgs(array $args)
0 commit comments