Index: experimental/webtry/templates/workspace.html |
diff --git a/experimental/webtry/templates/workspace.html b/experimental/webtry/templates/workspace.html |
index af5b519218975c439db981e6ca0352fa129947b6..d7d581a48da38e57c99fae3ae6c48c4869a37caa 100644 |
--- a/experimental/webtry/templates/workspace.html |
+++ b/experimental/webtry/templates/workspace.html |
@@ -3,6 +3,7 @@ |
<head> |
<title>Workspace</title> |
<meta charset='utf-8' /> |
+ <script src="/res/js/pointerevents.min.js" type="text/javascript" charset="utf-8"></script> |
<link rel='stylesheet' href='/res/css/webtry.css' type='text/css' media='screen'> |
<link rel="stylesheet" href="/res/css/cm/codemirror.css" type="text/css" media="screen"> |
</head> |