2017-11-07 23:11:14 +02:00
|
|
|
<style>
|
|
|
|
body {
|
|
|
|
overflow: hidden;
|
|
|
|
}
|
|
|
|
|
|
|
|
#content {
|
|
|
|
overflow-y: scroll;
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
</style>
|
|
|
|
|
2017-11-10 01:28:08 +02:00
|
|
|
<link rel="stylesheet" href="highlight/styles/atom-one-light.css">
|
|
|
|
<script src="highlight/highlight.pack.js"></script>
|
|
|
|
|
2017-11-05 18:51:03 +02:00
|
|
|
<div id="content"></div>
|
|
|
|
|
|
|
|
<script>
|
2017-11-07 23:11:14 +02:00
|
|
|
const { ipcRenderer } = require('electron');
|
|
|
|
const contentElement = document.getElementById('content');
|
|
|
|
|
2017-11-05 18:51:03 +02:00
|
|
|
ipcRenderer.on('setHtml', (event, html) => {
|
2017-11-07 23:11:14 +02:00
|
|
|
contentElement.innerHTML = html;
|
2017-11-10 01:28:08 +02:00
|
|
|
|
|
|
|
var codeElements = document.getElementsByClassName('code');
|
|
|
|
for (var i = 0; i < codeElements.length; i++) {
|
|
|
|
hljs.highlightBlock(codeElements[i]);
|
|
|
|
}
|
2017-11-10 20:20:14 +02:00
|
|
|
|
|
|
|
// A checkbox list is rendered like this by markdown-it:
|
|
|
|
// <ul>
|
|
|
|
// <li>
|
|
|
|
// <p>
|
|
|
|
// [x] some item
|
|
|
|
// </p>
|
|
|
|
// </li>
|
|
|
|
// ...
|
|
|
|
// </ul>
|
|
|
|
// And we need to remove the padding from "p" and the bullet from "ul"
|
|
|
|
const checkboxes = document.getElementsByClassName('checkbox');
|
|
|
|
for (let i = 0; i < checkboxes.length; i++) {
|
|
|
|
const cb = checkboxes[i];
|
|
|
|
cb.parentElement.style.marginBottom = 0;
|
|
|
|
const ul = cb.parentElement.parentElement.parentElement;
|
|
|
|
if (!ul) {
|
|
|
|
console.warn('Unexpected layout for checkbox');
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
ul.style.listStyleType = 'none';
|
|
|
|
}
|
2017-11-05 18:51:03 +02:00
|
|
|
});
|
2017-11-07 23:11:14 +02:00
|
|
|
|
|
|
|
let ignoreNextScroll = false;
|
|
|
|
ipcRenderer.on('setPercentScroll', (event, percent) => {
|
|
|
|
ignoreNextScroll = true;
|
|
|
|
contentElement.scrollTop = percent * maxScrollTop();
|
|
|
|
});
|
|
|
|
|
2017-11-10 20:20:14 +02:00
|
|
|
// function elementMapCoordinates(element) {
|
|
|
|
// while (true) {
|
|
|
|
// if (!element) break;
|
2017-11-07 23:11:14 +02:00
|
|
|
|
2017-11-10 20:20:14 +02:00
|
|
|
// const m = element.getAttribute('data-map');
|
|
|
|
// if (m) return m.split(':');
|
|
|
|
// element = element.parentElement;
|
|
|
|
// }
|
2017-11-07 23:11:14 +02:00
|
|
|
|
2017-11-10 20:20:14 +02:00
|
|
|
// return null;
|
|
|
|
// }
|
2017-11-07 23:11:14 +02:00
|
|
|
|
|
|
|
function maxScrollTop() {
|
|
|
|
return Math.max(0, contentElement.scrollHeight - contentElement.clientHeight);
|
|
|
|
}
|
|
|
|
|
|
|
|
contentElement.addEventListener('scroll', function(e) {
|
|
|
|
if (ignoreNextScroll) {
|
|
|
|
ignoreNextScroll = false;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
const m = maxScrollTop();
|
|
|
|
ipcRenderer.sendToHost('percentScroll', m ? contentElement.scrollTop / m : 0);
|
|
|
|
});
|
2017-11-05 18:51:03 +02:00
|
|
|
</script>
|