posts.tx 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100
  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. <div class="postedit">
  21. : if ( $post.form ) {
  22. : include "forms/" ~ $post.form;
  23. : }
  24. </div>
  25. : }
  26. <script type="text/javascript" src="/scripts/highlight.min.js"></script>
  27. <script>
  28. document.addEventListener("DOMContentLoaded", function(){
  29. hljs.highlightAll();
  30. });
  31. </script>
  32. <span class="title">
  33. : if ( $rss ) {
  34. <a title="RSS" class="rss" href="<: $route :>?format=rss"></a>
  35. <: $category :>:
  36. : }
  37. </span>
  38. : if ( $in_series && $rss ) {
  39. <div class="subhead">
  40. <: $subhead | mark_raw :>
  41. </div>
  42. : }
  43. : if ( $header ) {
  44. <: $header | mark_raw :>
  45. : }
  46. : if (!$style) {
  47. <hr class="divider" />
  48. : }
  49. : for $posts -> $post {
  50. : if ( !$post.form ) {
  51. : next;
  52. : }
  53. : include "forms/" ~ $post.form { post => $post };
  54. : if ($posts.size() > 1 && !$tiled ) {
  55. <hr class="divider" />
  56. : }
  57. <script type="text/javascript">
  58. document.addEventListener("DOMContentLoaded", function(event) {
  59. // Fix post dates to be localized
  60. var e = document.getElementById("<: $post.id :>-<: $post.version :>-time");
  61. if (!e) {
  62. return;
  63. }
  64. var d = new Date(0);
  65. d.setUTCSeconds(e.innerText);
  66. e.innerHTML = "&nbsp;" + d.toDateString();
  67. //Make the version switcher do things
  68. var swit = document.getElementById("<: $post.id :>-<: $post.version :>-version");
  69. if (swit) {
  70. swit.onchange = function (evt) {
  71. this.form.submit();
  72. };
  73. }
  74. });
  75. </script>
  76. : }
  77. : if ( !$direct && ( $rss || $older ) ) {
  78. : include "paginator.tx";
  79. : }
  80. : if ( $footer ) {
  81. <: $footer | mark_raw :>
  82. : }
  83. <script>
  84. document.addEventListener("DOMContentLoaded", function(event) {
  85. var pagin = document.getElementById("paginatorTime");
  86. if (pagin) {
  87. var dracula = new Date(0);
  88. dracula.setUTCSeconds(pagin.innerText);
  89. pagin.innerHTML = "&nbsp;" + dracula.toDateString();
  90. }
  91. });
  92. </script>