Diff
Not logged in

Differences From Artifact [71dee6d7a6]:

To Artifact [e68dfb8d7b]:


802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
  style_submenu_checkbox("unf", "Unformatted", 0, 0);
  style_submenu_checkbox("hist", "History", 0, 0);

  /* Display the thread. */
  forum_display_thread(froot, fpid, mode, bUnf, bHist);

  /* Emit Forum Javascript. */
  style_emit_script_fossil_bootstrap(1);
  builtin_request_js("forum.js");
  builtin_request_js("fossil.dom.js");
  builtin_request_js("fossil.page.forumpost.js");

  /* Emit the page style. */
  style_footer();
}







|







802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
  style_submenu_checkbox("unf", "Unformatted", 0, 0);
  style_submenu_checkbox("hist", "History", 0, 0);

  /* Display the thread. */
  forum_display_thread(froot, fpid, mode, bUnf, bHist);

  /* Emit Forum Javascript. */
  builtin_emit_script_fossil_bootstrap(1);
  builtin_request_js("forum.js");
  builtin_request_js("fossil.dom.js");
  builtin_request_js("fossil.page.forumpost.js");

  /* Emit the page style. */
  style_footer();
}