123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112 |
- : if ( $can_edit ) {
- <script type="text/javascript" src="/scripts/post.js"></script>
- <div id="emoji_picker_modal" class="modal" style="display:none;">
- <: $emoji_picker | mark_raw :>
- </div>
- : if (!$direct) {
- : if ($to) {
- : include "jsalert.tx";
- : }
- <script type="text/javascript">
- addEventListener("load", function () {
- var buttons = document.querySelectorAll('.emojiPicker');
- for (button of buttons) {
- // Make the emoji picker appear.
- button.addEventListener('click', function (e) {
- switchMenu('emoji_picker_modal');
- });
- }
- var mojis = document.querySelectorAll('.emoji');
- for (emoji of mojis) {
- emoji.addEventListener('click', function (e) {
- switchMenu('emoji_picker_modal');
- });
- }
- });
- addEventListener("emojiComponentReady", function () {
- emojiPicker.addBinds(document.querySelectorAll('textarea.cooltext'));
- });
- </script>
- : }
- <div class="postedit">
- : if ( $post.form ) {
- : include "forms/" ~ $post.form;
- : }
- </div>
- : }
- <script type="text/javascript" src="/scripts/highlight.min.js"></script>
- <script>
- document.addEventListener("DOMContentLoaded", function(){
- hljs.highlightAll();
- });
- </script>
- <span class="title">
- : if ( $rss ) {
- <a title="RSS" class="rss" href="?format=rss"></a>
- <: $category :>:
- : }
- </span>
- : if ( $in_series && $rss ) {
- <div class="subhead">
- <: $subhead | mark_raw :>
- </div>
- : }
- : if ( $header ) {
- <: $header | mark_raw :>
- : }
- : if (!$style) {
- <hr class="divider" />
- : }
- : for $posts -> $post {
- : if ( !$post.form ) {
- : next;
- : }
- : include "forms/" ~ $post.form { post => $post };
- : if ($posts.size() > 1 && !$tiled ) {
- <hr class="divider" />
- : }
- <script type="text/javascript">
- document.addEventListener("DOMContentLoaded", function(event) {
- // Fix post dates to be localized
- var e = document.getElementById("<: $post.id :>-<: $post.version :>-time");
- if (!e) {
- return;
- }
- var d = new Date(0);
- d.setUTCSeconds(e.innerText);
- e.innerHTML = " " + d.toDateString();
- //Make the version switcher do things
- var swit = document.getElementById("<: $post.id :>-<: $post.version :>-version");
- if (swit) {
- swit.onchange = function (evt) {
- this.form.submit();
- };
- }
- });
- </script>
- : }
- : if ( !$direct && ( $rss || $older ) ) {
- : include "paginator.tx";
- : }
- : if ( $footer ) {
- <: $footer | mark_raw :>
- : }
- <script>
- document.addEventListener("DOMContentLoaded", function(event) {
- var pagin = document.getElementById("paginatorTime");
- if (pagin) {
- var dracula = new Date(0);
- dracula.setUTCSeconds(pagin.innerText);
- pagin.innerHTML = " " + dracula.toDateString();
- }
- });
- </script>
|