123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596 |
- : if ( $can_edit ) {
- <script type="text/javascript" src="/scripts/post.js"></script>
- : if (!$direct) {
- : if ($to) {
- : include "jsalert.tx";
- : }
- <script type="text/javascript" src="/scripts/fgEmojiPicker.js"></script>
- <script type="text/javascript">
- new FgEmojiPicker({
- trigger: ['button.emojiPicker'],
- position: ['bottom'],
- dir: `/scripts/`,
- emit(obj, triggerElement) {
- const emoji = obj.emoji;
- document.querySelector('textarea').value += emoji;
- }
- });
- </script>
- : }
- : include "forms/" ~ $post.form;
- : }
- <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="<: $route :>?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>
|