From 6c5b953a4bee07e476c511b301c40d60cd7acb39 Mon Sep 17 00:00:00 2001 From: Jake Date: Mon, 13 Sep 2021 15:49:42 -0700 Subject: [PATCH] Add copy button to websocket tool --- template/page-websocket-api-tool.html.jinja | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/template/page-websocket-api-tool.html.jinja b/template/page-websocket-api-tool.html.jinja index 3af3a7fb04..90e960f508 100644 --- a/template/page-websocket-api-tool.html.jinja +++ b/template/page-websocket-api-tool.html.jinja @@ -1,4 +1,15 @@ {% extends "base.html.jinja" %} +{% block head %} + + + + + +{% endblock %} {% block right_sidebar %}
@@ -152,6 +163,7 @@
@@ -175,6 +187,7 @@