edit.html


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

<!DOCTYPE html>
<!-- 2015-08-26 -->
<html lang='en'>
<head>
  <meta http-equiv='Content-Type' content='text/html; charset=utf-8' />
  <title>derivation editor</title>
  <script src='raphael.js' type='text/javascript' charset='utf-8'></script>
  <script src='r.js' type='text/javascript' charset='utf-8'></script>
  <script src='Raphael.InlineTextEditing/raphael.inline_text_editing.js' charset='utf-8'></script>
</head>
<body>
  <div id='holder'></div>
  <input type='button' value='+' onClick='add_obj()' />
  <p id='debug'></p>
  <h3>TODO</h3>
  <ul>
    <li>edit text and resize, move (dblclick)</li>
    <li>remove objs (move to special field)</li>
    <li>add objs ('+' button, far right)</li>
    <li>add alignments (click source, then target)</li>
  </ul>
</body>
</html>