Hugging Face's logo

Spaces:
Ramesh-vani
/
collab-ext
Paused

App Files Community
collab-ext
File size: 1,221 Bytes
341f1e9
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
 
<!DOCTYPE html>
<html>
<head>
  <title> CodeMirror Editor Collaborative Extensions Demo</title>

  <meta http-equiv="X-UA-Compatible" content="IE=edge"/>
  <meta http-equiv="Content-Type" content="text/html;charset=utf-8">

  <link rel="stylesheet" href="../node_modules/codemirror/lib/codemirror.css"/>
  <link rel="stylesheet" href="../dist/css/codemirror-collab-ext.css">
  <link rel="stylesheet" href="./example.css">

  <script src="../node_modules/codemirror/lib/codemirror.js"></script>
  <script src="../node_modules/codemirror/mode/javascript/javascript.js"></script>
</head>
<body>
<h1>CodeMirror Editor Collaborative Extensions Demo</h1>
<div class="editors">
  <div class="editor-column">
    <h2>Source Editor</h2>
    <div class="description">Type and make selections here.</div>
    <div class="editor" id="source-editor"></div>
  </div>
  <div class="editor-column">
    <h2>Target Editor</h2>
    <div class="description">See changes, remote cursors, and selections here.</div>
    <div class="editor" id="target-editor"></div>
  </div>
</div>

<script src="../dist/umd/codemirror-collab-ext.js"></script>
<script src="./editor_contents.js"></script>
<script src="./example.js"></script>

</body>
</html>