diffedit3 0.6.1

Edit diffs in a 3-pane view
Documentation 
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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75

<!doctype html>
<html lang="en">
  <head>
    <meta charset="UTF-8" />
    <link
      rel="icon"
      href="/assets/de3-icon-PN-ohgop.svg"
      sizes="any"
      type="image/svg+xml"
    />
    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
    <title>Diffedit3</title>
    <script type="module" crossorigin src="/assets/index-MPhP5O05.js"></script>
    <link rel="stylesheet" crossorigin href="/assets/index-DOlhdiMt.css">
  </head>

  <body>
    <div class="app-window">
      <div class="main-menu">
        <img
          id="main_menu_logo"
          src="/assets/de3-icon-PN-ohgop.svg"
          style="
            width: 3.5em;
            position: absolute;
            top: d5px;
            background-color: whitesmoke;
            border-radius: 5px;
            padding-top: 2px;
            padding-bottom: 2px;
            padding-left: 6px;
            padding-right: 6px;
            margin: 1.6px;
            /* border: thin solid lightgrey; */
          "
          alt="Logo"
        />
        <div style="display: inline-block; width: 3.8em"></div>
        <button id="button_save">Save</button>
        <button id="button_save_and_quit">Save and Quit</button>
        <button id="button_revert">Revert to Last Save</button>
        <button
          id="button_abandon_changes_and_quit"
          title="Abandons ALL changes, including saved changes"
        >
          Abandon Changes and Quit
        </button>
        <button
          class="main-menu-toggle"
          id="button_collapse_uncollapse_menu"
          alt="Show/Hide Menu"
          title="Show/Hide Menu"
        >
          <div class="if-menu-shown">×</div>
          <div class="if-menu-hidden">≡</div>
        </button>
      </div>
      <!-- If the dialog is not modal, CodeMirror obscures it.
    -- TODO: try fixing this with CSS if we need non-model dialogs
    -->
      <dialog id="modal_dialog_with_message">
        <div id="message_of_modal_dialog_with_message"></div>
        <form method="dialog">
          <button>OK</button>
        </form>
      </dialog>
      <div id="args"></div>
      <div id="loading_message">
        <h2>Loading...</h2>
        <p>If this message persists, Javascript is not working.</p>
      </div>
      <div id="lit"></div>
    </div>
  </body>
</html>