From f996fd9568dd2dd09c01740885fea85f77a9ce8b Mon Sep 17 00:00:00 2001
From: Dries Buytaert <dries@buytaert.net>
Date: Tue, 6 Feb 2007 08:35:13 +0000
Subject: - Patch #112605 by Steven: sticky table headers.

---
 includes/theme.inc | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'includes')

diff --git a/includes/theme.inc b/includes/theme.inc
index a829b2cca..de1be95dd 100644
--- a/includes/theme.inc
+++ b/includes/theme.inc
@@ -761,6 +761,9 @@ function theme_table($header, $rows, $attributes = array(), $caption = NULL) {
 
   // Format the table header:
   if (count($header)) {
+    // Include JS for sticky headers.
+    drupal_add_js('misc/tableheader.js');
+
     $ts = tablesort_init($header);
     $output .= ' <thead><tr>';
     foreach ($header as $cell) {
-- 
cgit v1.2.3