@rip-lang/print 0.1.7 → 0.1.8
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +1 -1
- package/print.rip +6 -6
package/package.json
CHANGED
package/print.rip
CHANGED
|
@@ -372,12 +372,6 @@ html = """
|
|
|
372
372
|
var themes = {
|
|
373
373
|
#{themeData}
|
|
374
374
|
};
|
|
375
|
-
// Restore saved theme
|
|
376
|
-
var saved = localStorage.getItem('rip-print-theme');
|
|
377
|
-
if (saved && themes[saved]) {
|
|
378
|
-
document.getElementById('theme-picker').value = saved;
|
|
379
|
-
document.getElementById('theme-picker').dispatchEvent(new Event('change'));
|
|
380
|
-
}
|
|
381
375
|
document.getElementById('theme-picker').addEventListener('change', function(e) {
|
|
382
376
|
var id = e.target.value;
|
|
383
377
|
localStorage.setItem('rip-print-theme', id);
|
|
@@ -400,6 +394,12 @@ html = """
|
|
|
400
394
|
document.querySelectorAll('.code-container').forEach(function(e) { e.style.borderColor = brd; });
|
|
401
395
|
document.querySelectorAll('.toc a').forEach(function(e) { e.style.color = fg; });
|
|
402
396
|
});
|
|
397
|
+
// Restore saved theme
|
|
398
|
+
var saved = localStorage.getItem('rip-print-theme');
|
|
399
|
+
if (saved && themes[saved]) {
|
|
400
|
+
document.getElementById('theme-picker').value = saved;
|
|
401
|
+
document.getElementById('theme-picker').dispatchEvent(new Event('change'));
|
|
402
|
+
}
|
|
403
403
|
</script>
|
|
404
404
|
</body>
|
|
405
405
|
</html>
|