2023-09-25 20:04:53 +03:00
|
|
|
<html>
|
|
|
|
|
<head>
|
|
|
|
|
<style>
|
|
|
|
|
|
|
|
|
|
:root {
|
|
|
|
|
font-family: sans-serif;
|
|
|
|
|
font-size: 5mm;
|
|
|
|
|
}
|
|
|
|
|
|
2023-09-27 00:54:43 +03:00
|
|
|
.editor [tabindex] {
|
|
|
|
|
position: relative;
|
|
|
|
|
}
|
|
|
|
|
.editor div [tabindex] {
|
2023-09-25 20:04:53 +03:00
|
|
|
margin-left: 2em;
|
|
|
|
|
}
|
2023-09-27 00:54:43 +03:00
|
|
|
.editor [tabindex]>span,
|
|
|
|
|
.editor [tabindex]>textarea {
|
|
|
|
|
--padding: 0.2em;
|
|
|
|
|
|
2023-09-25 20:04:53 +03:00
|
|
|
display: block;
|
2023-09-27 00:54:43 +03:00
|
|
|
width: 100%;
|
|
|
|
|
padding: var(--padding);
|
|
|
|
|
margin: 0;
|
2023-09-26 14:50:42 +03:00
|
|
|
|
2023-09-27 00:54:43 +03:00
|
|
|
font-family: sans-serif;
|
|
|
|
|
font-size: 5mm;
|
2023-09-26 14:50:42 +03:00
|
|
|
white-space: pre;
|
2023-09-27 00:54:43 +03:00
|
|
|
|
|
|
|
|
outline: none;
|
|
|
|
|
border: none;
|
|
|
|
|
}
|
|
|
|
|
.editor [tabindex]>textarea {
|
|
|
|
|
height: calc(2 * var(--padding) + 1em);
|
|
|
|
|
overflow: hidden;
|
|
|
|
|
resize: none;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* show/hide node's view/code... */
|
|
|
|
|
.editor [tabindex]>span+textarea:not(:focus),
|
|
|
|
|
/* XXX not sure how to do this without :has(..)... */
|
|
|
|
|
.editor [tabindex]:has(>span+textarea:focus)>span:has(+textarea),
|
|
|
|
|
.editor [tabindex]:focus>span+textarea {
|
|
|
|
|
position: absolute;
|
|
|
|
|
opacity: 0;
|
|
|
|
|
top: 0;
|
2023-09-25 20:04:53 +03:00
|
|
|
}
|
|
|
|
|
|
2023-09-25 20:46:22 +03:00
|
|
|
.editor div[collapsed] {
|
|
|
|
|
border-bottom: solid 1px silver;
|
|
|
|
|
}
|
|
|
|
|
.editor div[collapsed] div {
|
|
|
|
|
display: none;
|
|
|
|
|
}
|
|
|
|
|
|
2023-09-25 20:04:53 +03:00
|
|
|
.editor div:focus {
|
|
|
|
|
/*outline: solid 0.2em silver;*/
|
|
|
|
|
outline: none;
|
|
|
|
|
}
|
2023-09-27 00:54:43 +03:00
|
|
|
.editor div:focus>span,
|
|
|
|
|
.editor div:focus>textarea {
|
2023-09-25 20:04:53 +03:00
|
|
|
background: silver;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
</style>
|
|
|
|
|
<script>
|
2023-09-27 00:54:43 +03:00
|
|
|
var updateTextareaSize = function(elem){
|
|
|
|
|
elem.style.height = ''
|
|
|
|
|
elem.style.height = elem.scrollHeight + 'px'
|
|
|
|
|
return elem }
|
2023-09-25 20:04:53 +03:00
|
|
|
|
2023-09-26 14:50:42 +03:00
|
|
|
var getFocused = function(offset=0, selector='[tabindex]'){
|
|
|
|
|
var focused = document.querySelector(`.editor ${selector}:focus`)
|
2023-09-27 00:54:43 +03:00
|
|
|
|| (selector != 'textarea' ?
|
|
|
|
|
getEditable()?.parentElement
|
|
|
|
|
: null)
|
2023-09-25 20:04:53 +03:00
|
|
|
if(offset == 0){
|
|
|
|
|
return focused }
|
|
|
|
|
|
|
|
|
|
if(offset == 'parent'){
|
|
|
|
|
if(!focused){
|
2023-09-26 14:50:42 +03:00
|
|
|
return document.querySelector(`.editor ${selector}`) }
|
2023-09-25 20:04:53 +03:00
|
|
|
var elem = focused.parentElement
|
|
|
|
|
return elem.classList.contains('editor') ?
|
|
|
|
|
undefined
|
|
|
|
|
: elem }
|
|
|
|
|
|
|
|
|
|
if(offset == 'child'){
|
|
|
|
|
if(!focused){
|
2023-09-26 14:50:42 +03:00
|
|
|
return document.querySelector(`.editor ${selector}`) }
|
2023-09-25 20:04:53 +03:00
|
|
|
return focused.querySelector('div') }
|
|
|
|
|
|
|
|
|
|
if(offset == 'children'){
|
|
|
|
|
if(!focused){
|
|
|
|
|
return [] }
|
|
|
|
|
return [...focused.children]
|
|
|
|
|
.filter(function(elem){
|
|
|
|
|
return elem.getAttribute('tabindex') }) }
|
|
|
|
|
|
|
|
|
|
if(offset == 'siblings'){
|
|
|
|
|
if(!focused){
|
|
|
|
|
return [] }
|
|
|
|
|
return [...focused.parentElement.children]
|
|
|
|
|
.filter(function(elem){
|
|
|
|
|
return elem.getAttribute('tabindex') }) }
|
|
|
|
|
|
2023-09-26 14:50:42 +03:00
|
|
|
var focusable = [...document.querySelectorAll(`.editor ${selector}`)]
|
2023-09-25 20:46:22 +03:00
|
|
|
.filter(function(e){
|
|
|
|
|
return e.offsetParent != null })
|
2023-09-25 20:04:53 +03:00
|
|
|
if(offset == 'all'){
|
|
|
|
|
return focusable }
|
|
|
|
|
|
|
|
|
|
// offset from focused...
|
|
|
|
|
if(focused){
|
|
|
|
|
var i = focusable.indexOf(focused) + offset
|
|
|
|
|
i = i < 0 ?
|
|
|
|
|
focusable.length + i
|
|
|
|
|
: i % focusable.length
|
|
|
|
|
return focusable[i]
|
|
|
|
|
|
|
|
|
|
// nothing focused -> forst/last...
|
|
|
|
|
} else {
|
|
|
|
|
return focusable[offset > 0 ? 0 : focusable.length-1] } }
|
|
|
|
|
|
2023-09-26 14:50:42 +03:00
|
|
|
// XXX would also be nice to make the move only if at first/last line/char
|
|
|
|
|
// XXX would be nice to keep the cursor at roughly the same left offset...
|
|
|
|
|
var getEditable = function(offset){
|
2023-09-27 00:54:43 +03:00
|
|
|
return getFocused(offset, 'textarea') }
|
2023-09-26 14:50:42 +03:00
|
|
|
|
2023-09-25 20:46:22 +03:00
|
|
|
var indentNode = function(indent=true){
|
2023-09-27 00:54:43 +03:00
|
|
|
var cur = getFocused()
|
2023-09-25 20:46:22 +03:00
|
|
|
if(!cur){
|
|
|
|
|
return }
|
|
|
|
|
var siblings = getFocused('siblings')
|
|
|
|
|
// deindent...
|
|
|
|
|
if(!indent){
|
|
|
|
|
var parent = cur.parentElement
|
|
|
|
|
if(!parent.classList.contains('.editor')){
|
|
|
|
|
var children = siblings.slice(siblings.indexOf(cur)+1)
|
|
|
|
|
parent.after(cur)
|
|
|
|
|
children.length > 0
|
|
|
|
|
&& cur.append(...children) }
|
|
|
|
|
// indent...
|
|
|
|
|
} else {
|
|
|
|
|
var parent = siblings[siblings.indexOf(cur) - 1]
|
|
|
|
|
if(parent){
|
|
|
|
|
parent.append(cur) } }
|
|
|
|
|
return cur }
|
|
|
|
|
|
|
|
|
|
var toggleCollapse = function(node, state='next'){
|
|
|
|
|
if(node == 'all'){
|
|
|
|
|
return getFocused('all')
|
|
|
|
|
.map(function(node){
|
|
|
|
|
return toggleCollapse(node, state) }) }
|
2023-09-26 14:50:42 +03:00
|
|
|
// toggleCollapse(<state>)
|
2023-09-25 20:46:22 +03:00
|
|
|
if(!(node instanceof HTMLElement) && node != null){
|
|
|
|
|
state = node
|
|
|
|
|
node = null }
|
|
|
|
|
node ??= getFocused()
|
2023-09-26 14:50:42 +03:00
|
|
|
if(!node
|
|
|
|
|
// only nodes with children can be collapsed...
|
|
|
|
|
|| !node.querySelector('[tabindex]')){
|
2023-09-25 20:46:22 +03:00
|
|
|
return }
|
|
|
|
|
state = state == 'next' ?
|
|
|
|
|
!node.getAttribute('collapsed')
|
|
|
|
|
: state
|
2023-09-27 00:54:43 +03:00
|
|
|
if(state){
|
2023-09-25 20:46:22 +03:00
|
|
|
node.setAttribute('collapsed', '')
|
2023-09-27 00:54:43 +03:00
|
|
|
} else {
|
|
|
|
|
node.removeAttribute('collapsed')
|
|
|
|
|
for(var elem of [...node.querySelectorAll('textarea')]){
|
|
|
|
|
updateTextareaSize(elem) }
|
|
|
|
|
}
|
2023-09-25 20:46:22 +03:00
|
|
|
return node }
|
|
|
|
|
|
2023-09-27 00:54:43 +03:00
|
|
|
// XXX add reference node...
|
|
|
|
|
var createBlock = function(place=none){
|
|
|
|
|
var block = document.createElement('div')
|
|
|
|
|
block.setAttribute('tabindex', '0')
|
|
|
|
|
block.innerHTML = `<span></span><textarea></textarea>`
|
|
|
|
|
var cur = getFocused()
|
|
|
|
|
|| getEditable()?.parentElement
|
|
|
|
|
place && cur
|
|
|
|
|
&& cur[place](block)
|
|
|
|
|
return block }
|
|
|
|
|
|
2023-09-27 14:08:30 +03:00
|
|
|
var json = function(node){
|
|
|
|
|
node ??= document.querySelector('.editor')
|
|
|
|
|
return [...node.children]
|
|
|
|
|
.map(function(elem){
|
|
|
|
|
return elem.nodeName != 'DIV' ?
|
|
|
|
|
[]
|
|
|
|
|
: [{
|
|
|
|
|
text: elem.querySelector('span').innerHTML,
|
|
|
|
|
collapsed: elem.getAttribute('collapsed') != null,
|
|
|
|
|
children: json(elem)
|
|
|
|
|
}] })
|
|
|
|
|
.flat() }
|
|
|
|
|
var markdown = function(node, indent=''){
|
|
|
|
|
node ??= json(node)
|
|
|
|
|
var text = ''
|
|
|
|
|
for(var elem of node){
|
|
|
|
|
text +=
|
|
|
|
|
indent
|
|
|
|
|
+'- '
|
|
|
|
|
+ elem.text
|
|
|
|
|
.replace(/\n/g, '\n '+indent)
|
|
|
|
|
+'\n'
|
|
|
|
|
+ markdown(elem.children || [], indent+' ') }
|
|
|
|
|
return text }
|
2023-09-27 00:54:43 +03:00
|
|
|
|
|
|
|
|
// XXX do a caret api...
|
2023-09-25 20:46:22 +03:00
|
|
|
|
2023-09-26 14:50:42 +03:00
|
|
|
// XXX this works only on the current text node...
|
2023-09-27 00:54:43 +03:00
|
|
|
// XXX only for text areas...
|
2023-09-26 14:50:42 +03:00
|
|
|
var atLine = function(index){
|
|
|
|
|
// XXX add support for range...
|
2023-09-27 00:54:43 +03:00
|
|
|
var elem = getEditable()
|
|
|
|
|
var text = elem.value
|
|
|
|
|
var lines = text.split(/\n/g).length
|
|
|
|
|
var offset = elem.selectionStart
|
|
|
|
|
var line = text.slice(0, offset).split(/\n/g).length
|
|
|
|
|
|
|
|
|
|
//console.log('---', line, 'of', lines, '---', offset, sel)
|
|
|
|
|
|
|
|
|
|
// XXX STUB index handling...
|
|
|
|
|
if(index == -1 && line == lines){
|
|
|
|
|
return true
|
|
|
|
|
} else if(index == 0 && line == 1){
|
|
|
|
|
return true
|
2023-09-26 14:50:42 +03:00
|
|
|
}
|
2023-09-27 00:54:43 +03:00
|
|
|
return false
|
2023-09-26 14:50:42 +03:00
|
|
|
}
|
|
|
|
|
|
2023-09-25 20:46:22 +03:00
|
|
|
var LEFT_COLLAPSE = false
|
|
|
|
|
var RIGHT_EXPAND = true
|
2023-09-25 20:04:53 +03:00
|
|
|
|
2023-09-27 00:54:43 +03:00
|
|
|
// XXX add scrollIntoView(..) to nav...
|
2023-09-25 20:04:53 +03:00
|
|
|
var keyboard = {
|
2023-09-25 20:46:22 +03:00
|
|
|
// vertical navigation...
|
2023-09-27 00:54:43 +03:00
|
|
|
ArrowUp: function(evt){
|
2023-09-26 14:50:42 +03:00
|
|
|
var action = getFocused
|
2023-09-27 00:54:43 +03:00
|
|
|
var edited = document.querySelector('.editor textarea:focus')
|
2023-09-26 14:50:42 +03:00
|
|
|
if(edited){
|
2023-09-27 00:54:43 +03:00
|
|
|
if(!atLine(0)){
|
2023-09-26 14:50:42 +03:00
|
|
|
return }
|
|
|
|
|
action = getEditable }
|
2023-09-27 00:54:43 +03:00
|
|
|
evt.preventDefault()
|
|
|
|
|
action(-1)?.focus() },
|
|
|
|
|
ArrowDown: function(evt, offset=1){
|
2023-09-26 14:50:42 +03:00
|
|
|
var action = getFocused
|
2023-09-27 00:54:43 +03:00
|
|
|
var edited = document.querySelector('.editor textarea:focus')
|
2023-09-26 14:50:42 +03:00
|
|
|
if(edited){
|
2023-09-27 00:54:43 +03:00
|
|
|
if(!atLine(-1)){
|
2023-09-26 14:50:42 +03:00
|
|
|
return }
|
2023-09-27 00:54:43 +03:00
|
|
|
//window.getSelection()
|
2023-09-26 14:50:42 +03:00
|
|
|
action = getEditable }
|
2023-09-27 00:54:43 +03:00
|
|
|
evt.preventDefault()
|
|
|
|
|
action(1)?.focus() },
|
2023-09-25 20:46:22 +03:00
|
|
|
|
|
|
|
|
// horizontal navigation / collapse...
|
2023-09-27 00:54:43 +03:00
|
|
|
// XXX if at start/end of element move to prev/next...
|
2023-09-25 20:04:53 +03:00
|
|
|
ArrowLeft: function(evt){
|
2023-09-27 00:54:43 +03:00
|
|
|
if(document.querySelector('.editor textarea:focus')){
|
2023-09-26 14:50:42 +03:00
|
|
|
// XXX if at end of element move to next...
|
|
|
|
|
return }
|
2023-09-25 20:46:22 +03:00
|
|
|
if(LEFT_COLLAPSE){
|
|
|
|
|
toggleCollapse(true)
|
|
|
|
|
getFocused('parent')?.focus()
|
|
|
|
|
} else {
|
|
|
|
|
evt.shiftKey ?
|
|
|
|
|
toggleCollapse(true)
|
|
|
|
|
: getFocused('parent')?.focus() } },
|
2023-09-25 20:04:53 +03:00
|
|
|
ArrowRight: function(evt){
|
2023-09-27 00:54:43 +03:00
|
|
|
if(document.querySelector('.editor textarea:focus')){
|
2023-09-26 14:50:42 +03:00
|
|
|
// XXX if at end of element move to next...
|
|
|
|
|
return }
|
2023-09-25 20:46:22 +03:00
|
|
|
if(RIGHT_EXPAND){
|
|
|
|
|
toggleCollapse(false)
|
|
|
|
|
var child = getFocused('child')
|
|
|
|
|
child?.focus()
|
|
|
|
|
if(!child){
|
|
|
|
|
getFocused(1)?.focus() }
|
|
|
|
|
} else {
|
|
|
|
|
evt.shiftKey ?
|
|
|
|
|
toggleCollapse(false)
|
|
|
|
|
: getFocused('child')?.focus() } },
|
2023-09-25 20:04:53 +03:00
|
|
|
|
2023-09-25 20:46:22 +03:00
|
|
|
// indent...
|
2023-09-25 20:04:53 +03:00
|
|
|
Tab: function(evt){
|
|
|
|
|
evt.preventDefault()
|
2023-09-27 00:54:43 +03:00
|
|
|
var editable = getEditable()
|
|
|
|
|
var node = indentNode(!evt.shiftKey)
|
|
|
|
|
;(editable ?
|
|
|
|
|
editable
|
|
|
|
|
: node)?.focus() },
|
2023-09-25 20:46:22 +03:00
|
|
|
|
|
|
|
|
// edit mode...
|
2023-09-27 00:54:43 +03:00
|
|
|
O: function(evt){
|
|
|
|
|
if(evt.target.nodeName != 'TEXTAREA'){
|
|
|
|
|
evt.preventDefault()
|
|
|
|
|
createBlock('before')?.querySelector('textarea')?.focus() } },
|
|
|
|
|
o: function(evt){
|
|
|
|
|
if(evt.target.nodeName != 'TEXTAREA'){
|
|
|
|
|
evt.preventDefault()
|
|
|
|
|
createBlock('after')?.querySelector('textarea')?.focus() } },
|
2023-09-25 20:46:22 +03:00
|
|
|
Enter: function(evt){
|
2023-09-27 00:54:43 +03:00
|
|
|
/*if(evt.target.isContentEditable){
|
|
|
|
|
// XXX create new node...
|
|
|
|
|
return }
|
|
|
|
|
//*/
|
|
|
|
|
if(evt.ctrlKey
|
|
|
|
|
|| evt.shiftKey){
|
|
|
|
|
return }
|
|
|
|
|
evt.preventDefault()
|
|
|
|
|
evt.target.nodeName == 'TEXTAREA' ?
|
|
|
|
|
createBlock('after')?.querySelector('textarea')?.focus()
|
|
|
|
|
: getFocused()?.querySelector('textarea')?.focus() },
|
2023-09-25 20:46:22 +03:00
|
|
|
Escape: function(evt){
|
2023-09-27 00:54:43 +03:00
|
|
|
document.querySelector('textarea:focus')?.parentElement?.focus() },
|
|
|
|
|
Delete: function(evt){
|
|
|
|
|
if(evt.target.isContentEditable){
|
|
|
|
|
return }
|
|
|
|
|
var next = getFocused(1)
|
|
|
|
|
getFocused()?.remove()
|
|
|
|
|
next?.focus() },
|
2023-09-25 20:04:53 +03:00
|
|
|
}
|
|
|
|
|
document.addEventListener('keydown',
|
|
|
|
|
function(evt){
|
|
|
|
|
evt.key in keyboard
|
|
|
|
|
&& keyboard[evt.key](evt) })
|
|
|
|
|
|
2023-09-27 00:54:43 +03:00
|
|
|
document.addEventListener('input',
|
|
|
|
|
function(evt){
|
|
|
|
|
updateTextareaSize(evt.target) })
|
|
|
|
|
|
|
|
|
|
// XXX add support for markup handlers...
|
|
|
|
|
document.addEventListener('focusin',
|
|
|
|
|
function(evt){
|
|
|
|
|
var node = evt.target
|
|
|
|
|
if(node.nodeName == 'TEXTAREA'
|
|
|
|
|
&& node?.previousElementSibling?.nodeName == 'SPAN'){
|
|
|
|
|
node.value = node.previousElementSibling.innerHTML
|
|
|
|
|
updateTextareaSize(node) } })
|
|
|
|
|
document.addEventListener('focusout',
|
|
|
|
|
function(evt){
|
|
|
|
|
var node = evt.target
|
|
|
|
|
if(node.nodeName == 'TEXTAREA'
|
|
|
|
|
&& node?.previousElementSibling?.nodeName == 'SPAN'){
|
|
|
|
|
node.previousElementSibling.innerHTML = node.value } })
|
|
|
|
|
|
|
|
|
|
var setup = function(){
|
|
|
|
|
for(var elem of [...document.querySelectorAll('.editor textarea')]){
|
|
|
|
|
updateTextareaSize(elem) } }
|
2023-09-25 20:04:53 +03:00
|
|
|
|
|
|
|
|
</script>
|
|
|
|
|
</head>
|
2023-09-27 00:54:43 +03:00
|
|
|
<body onload="setup()">
|
2023-09-25 20:04:53 +03:00
|
|
|
<div class="editor">
|
2023-09-27 00:54:43 +03:00
|
|
|
<div tabindex=0>
|
|
|
|
|
<span><i>root</i></span><textarea></textarea>
|
|
|
|
|
<div tabindex=0 collapsed>
|
|
|
|
|
<span>A</span><textarea></textarea>
|
|
|
|
|
<div tabindex=0><span>a</span><textarea></textarea>
|
2023-09-26 14:50:42 +03:00
|
|
|
</div>
|
2023-09-27 00:54:43 +03:00
|
|
|
<div tabindex=0><span>b</span><textarea></textarea>
|
2023-09-25 20:04:53 +03:00
|
|
|
</div>
|
2023-09-27 00:54:43 +03:00
|
|
|
<div tabindex=0><span>c</span><textarea></textarea>
|
2023-09-26 14:50:42 +03:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2023-09-27 00:54:43 +03:00
|
|
|
<div tabindex=0><span>B</span><textarea></textarea>
|
|
|
|
|
<div tabindex=0><span>d</span><textarea></textarea>
|
2023-09-25 20:04:53 +03:00
|
|
|
</div>
|
2023-09-27 00:54:43 +03:00
|
|
|
<div tabindex=0><span>e</span><textarea></textarea>
|
2023-09-25 20:04:53 +03:00
|
|
|
</div>
|
|
|
|
|
</div>
|
2023-09-27 00:54:43 +03:00
|
|
|
<div tabindex=0><span>C</span><textarea></textarea>
|
|
|
|
|
<div tabindex=0><span>This is a line of text</span><textarea></textarea>
|
2023-09-25 20:04:53 +03:00
|
|
|
</div>
|
2023-09-27 00:54:43 +03:00
|
|
|
<div tabindex=0><span>This is a set
|
|
|
|
|
text lines</span><textarea></textarea>
|
2023-09-25 20:04:53 +03:00
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
|
2023-09-27 14:08:30 +03:00
|
|
|
<hr>
|
|
|
|
|
|
|
|
|
|
<pre>
|
|
|
|
|
TODO:
|
|
|
|
|
- mouse controls
|
|
|
|
|
- touch controls
|
|
|
|
|
- <s>navigation</s>
|
|
|
|
|
- <s>expand/collapse subtree</s>
|
|
|
|
|
- <s>shift subtree up/down</s>
|
|
|
|
|
- <s>create node</s>
|
|
|
|
|
- <s>edit node</s>
|
|
|
|
|
- undo delete node
|
|
|
|
|
- copy/paste nodes/trees
|
|
|
|
|
- shifting nodes up/down
|
|
|
|
|
- multiple node selection
|
|
|
|
|
- <s>serialize</s>/deserialize
|
|
|
|
|
- add optional styling to nodes
|
|
|
|
|
|
|
|
|
|
Controls:
|
|
|
|
|
up - focus node above
|
|
|
|
|
down - focus node below
|
|
|
|
|
left - focus parent node
|
|
|
|
|
right - focus first child node
|
|
|
|
|
tab - indent node
|
|
|
|
|
s-tab - deindent node
|
|
|
|
|
s-left - collapse node
|
|
|
|
|
s-right - expand node
|
|
|
|
|
enter - normal mode: edit node
|
|
|
|
|
- edit mode: create node below
|
|
|
|
|
esc - exit edit mode
|
|
|
|
|
</pre>
|
|
|
|
|
|
2023-09-25 20:04:53 +03:00
|
|
|
</body>
|
|
|
|
|
</html>
|
|
|
|
|
<!-- vim:set ts=4 sw=4 : -->
|
