posts.tx 3.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113
  1. : if ( $can_edit ) {
  2. <script type="text/javascript" src="/scripts/post.js"></script>
  3. <div id="emoji_picker_modal" class="modal" style="display:none;">
  4. <: $emoji_picker | mark_raw :>
  5. </div>
  6. : if (!$direct) {
  7. : if ($to) {
  8. : include "jsalert.tx";
  9. : }
  10. <script type="text/javascript">
  11. addEventListener("load", function () {
  12. var buttons = document.querySelectorAll('.emojiPicker');
  13. for (button of buttons) {
  14. // Make the emoji picker appear.
  15. button.addEventListener('click', function (e) {
  16. switchMenu('emoji_picker_modal');
  17. });
  18. }
  19. var mojis = document.querySelectorAll('.emoji');
  20. for (emoji of mojis) {
  21. emoji.addEventListener('click', function (e) {
  22. switchMenu('emoji_picker_modal');
  23. });
  24. }
  25. });
  26. addEventListener("emojiComponentReady", function () {
  27. emojiPicker.addBinds(document.querySelectorAll('textarea.cooltext'));
  28. });
  29. </script>
  30. : }
  31. <div class="postedit">
  32. : if ( $post.form ) {
  33. : include "forms/" ~ $post.form;
  34. : }
  35. </div>
  36. : }
  37. <script type="text/javascript" src="/scripts/highlight.min.js"></script>
  38. <script type="text/javascript" src="/scripts/reveal.js"></script>
  39. <script>
  40. document.addEventListener("DOMContentLoaded", function(){
  41. hljs.highlightAll();
  42. });
  43. </script>
  44. <span class="title">
  45. : if ( $rss ) {
  46. <a title="RSS" class="rss" href="?format=rss"></a>
  47. <: $category :>:
  48. : }
  49. </span>
  50. : if ( $in_series && $rss ) {
  51. <div class="subhead">
  52. <: $subhead | mark_raw :>
  53. </div>
  54. : }
  55. : if ( $header ) {
  56. <: $header | mark_raw :>
  57. : }
  58. : if (!$style) {
  59. <hr class="divider" />
  60. : }
  61. : for $posts -> $post {
  62. : if ( !$post.form ) {
  63. : next;
  64. : }
  65. : include "forms/" ~ $post.form { post => $post };
  66. : if ($posts.size() > 1 && !$tiled ) {
  67. <hr class="divider" />
  68. : }
  69. <script type="text/javascript">
  70. document.addEventListener("DOMContentLoaded", function(event) {
  71. // Fix post dates to be localized
  72. var e = document.getElementById("<: $post.id :>-<: $post.version :>-time");
  73. if (!e) {
  74. return;
  75. }
  76. var d = new Date(0);
  77. d.setUTCSeconds(e.innerText);
  78. e.innerHTML = "&nbsp;" + d.toDateString();
  79. //Make the version switcher do things
  80. var swit = document.getElementById("<: $post.id :>-<: $post.version :>-version");
  81. if (swit) {
  82. swit.onchange = function (evt) {
  83. this.form.submit();
  84. };
  85. }
  86. });
  87. </script>
  88. : }
  89. : if ( !$direct && ( $rss || $older ) ) {
  90. : include "paginator.tx";
  91. : }
  92. : if ( $footer ) {
  93. <: $footer | mark_raw :>
  94. : }
  95. <script>
  96. document.addEventListener("DOMContentLoaded", function(event) {
  97. var pagin = document.getElementById("paginatorTime");
  98. if (pagin) {
  99. var dracula = new Date(0);
  100. dracula.setUTCSeconds(pagin.innerText);
  101. pagin.innerHTML = "&nbsp;" + dracula.toDateString();
  102. }
  103. });
  104. </script>