| 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>
|
|
|