From 9284d987df6c99ba3704ba3cb3c3bbf65213d2bd Mon Sep 17 00:00:00 2001 From: Art Cancro Date: Sun, 11 Jul 2010 02:34:53 +0000 Subject: [PATCH] * Replaced normalizeHeaderTable() which I had taken out. Even though the column widths are honoring fixed percentage widths, the header table and the message table display slightly offset due to the presence of the scroll bar. normalizeHeaderTable() fixes that. --- webcit/static/summaryview.js | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/webcit/static/summaryview.js b/webcit/static/summaryview.js index a569e68ab..4ea5ccc31 100644 --- a/webcit/static/summaryview.js +++ b/webcit/static/summaryview.js @@ -83,6 +83,7 @@ function createMessageView() { $('resize_msglist').observe('mousedown', CtdlResizeMouseDown); $('m_refresh').observe('click', getMessages); document.getElementById('m_refresh').setAttribute("href","#"); + Event.observe(document.onresize ? document : window, "resize", normalizeHeaderTable); Event.observe(document.onresize ? document : window, "resize", sizePreviewPane); $('summpage').observe('change', getPage); takeOverSearchOMatic(); @@ -225,6 +226,7 @@ function resortAndDisplay(sortMode) { var delta = end.getTime() - start.getTime(); WCLog("append: " + delta); ApplySorterToggle(); + normalizeHeaderTable(); } function sortRowsByDateAscending(a, b) { var dateOne = a[3]; @@ -517,6 +519,18 @@ function ApplySorterToggle() { } currentSorterToggle.className = className; } + +/* Hack to make the header table line up with the data */ +function normalizeHeaderTable() { + var message_list_hdr = document.getElementById("message_list_hdr"); + var summary_view = document.getElementById("summary_view"); + var resize_msglist = document.getElementById("resize_msglist"); + var headerTable = message_list_hdr.getElementsByTagName("table")[0]; + var dataTable = summary_view.getElementsByTagName("table")[0]; + var dataTableWidth = dataTable.offsetWidth; + headerTable.style.width = dataTableWidth+"px"; +} + function setupPageSelector() { var summpage = document.getElementById("summpage"); var select_page = document.getElementById("selectpage"); -- 2.30.2