posts.tx 2.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  1. : if ( $can_edit ) {
  2. <script type="text/javascript" src="/scripts/post.js"></script>
  3. : if (!$direct) {
  4. : if ($to) {
  5. : include "jsalert.tx";
  6. : }
  7. <script type="text/javascript" src="/scripts/fgEmojiPicker.js"></script>
  8. <script type="text/javascript">
  9. new FgEmojiPicker({
  10. trigger: ['button.emojiPicker'],
  11. position: ['bottom'],
  12. dir: `/scripts/`,
  13. emit(obj, triggerElement) {
  14. const emoji = obj.emoji;
  15. document.querySelector('textarea').value += emoji;
  16. }
  17. });
  18. </script>
  19. : }
  20. : if ( $post.form ) {
  21. : include "forms/" ~ $post.form;
  22. : }
  23. : }
  24. <script type="text/javascript" src="/scripts/highlight.min.js"></script>
  25. <script>
  26. document.addEventListener("DOMContentLoaded", function(){
  27. hljs.highlightAll();
  28. });
  29. </script>
  30. <span class="title">
  31. : if ( $rss ) {
  32. <a title="RSS" class="rss" href="<: $route :>?format=rss"></a>
  33. <: $category :>:
  34. : }
  35. </span>
  36. : if ( $in_series && $rss ) {
  37. <div class="subhead">
  38. <: $subhead | mark_raw :>
  39. </div>
  40. : }
  41. : if ( $header ) {
  42. <: $header | mark_raw :>
  43. : }
  44. : if (!$style) {
  45. <hr class="divider" />
  46. : }
  47. : for $posts -> $post {
  48. : if ( !$post.form ) {
  49. : next;
  50. : }
  51. : include "forms/" ~ $post.form { post => $post };
  52. : if ($posts.size() > 1 && !$tiled ) {
  53. <hr class="divider" />
  54. : }
  55. <script type="text/javascript">
  56. document.addEventListener("DOMContentLoaded", function(event) {
  57. // Fix post dates to be localized
  58. var e = document.getElementById("<: $post.id :>-<: $post.version :>-time");
  59. if (!e) {
  60. return;
  61. }
  62. var d = new Date(0);
  63. d.setUTCSeconds(e.innerText);
  64. e.innerHTML = "&nbsp;" + d.toDateString();
  65. //Make the version switcher do things
  66. var swit = document.getElementById("<: $post.id :>-<: $post.version :>-version");
  67. if (swit) {
  68. swit.onchange = function (evt) {
  69. this.form.submit();
  70. };
  71. }
  72. });
  73. </script>
  74. : }
  75. : if ( !$direct && ( $rss || $older ) ) {
  76. : include "paginator.tx";
  77. : }
  78. : if ( $footer ) {
  79. <: $footer | mark_raw :>
  80. : }
  81. <script>
  82. document.addEventListener("DOMContentLoaded", function(event) {
  83. var pagin = document.getElementById("paginatorTime");
  84. if (pagin) {
  85. var dracula = new Date(0);
  86. dracula.setUTCSeconds(pagin.innerText);
  87. pagin.innerHTML = "&nbsp;" + dracula.toDateString();
  88. }
  89. });
  90. </script>