|
@ -5,7 +5,6 @@ var navlist = document.getElementById("info").getElementsByClassName("right")[0] |
|
|
init(); |
|
|
init(); |
|
|
|
|
|
|
|
|
function init() { |
|
|
function init() { |
|
|
|
|
|
|
|
|
var editA = document.createElement('a'); |
|
|
var editA = document.createElement('a'); |
|
|
|
|
|
|
|
|
editA.setAttribute("href", "#"); |
|
|
editA.setAttribute("href", "#"); |
|
@ -23,8 +22,8 @@ function init() { |
|
|
document.getElementById('wordwrap').addEventListener('click', wrap); |
|
|
document.getElementById('wordwrap').addEventListener('click', wrap); |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
function edit(ev) { |
|
|
function edit(ev) { |
|
|
|
|
|
ev.preventDefault(); |
|
|
|
|
|
|
|
|
navlist.remove(); |
|
|
navlist.remove(); |
|
|
document.getElementById("filename").remove(); |
|
|
document.getElementById("filename").remove(); |
|
@ -35,9 +34,9 @@ function edit(ev) { |
|
|
|
|
|
|
|
|
var editordiv = document.getElementById("editor"); |
|
|
var editordiv = document.getElementById("editor"); |
|
|
editordiv.style.display = "block"; |
|
|
editordiv.style.display = "block"; |
|
|
|
|
|
editordiv.addEventListener('keydown', handleTab); |
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
function paste(ev) { |
|
|
function paste(ev) { |
|
|
var editordiv = document.getElementById("editor"); |
|
|
var editordiv = document.getElementById("editor"); |
|
|
document.getElementById("newcontent").value = editordiv.value; |
|
|
document.getElementById("newcontent").value = editordiv.value; |
|
|