rem: var splitter = document.getElementById('gray_horizontal_splitter'); 
add: var splitter = document.getElementById('threadpane-splitter'); 
context: function GetThreadAndMessagePaneSplitter(){	if(gThreadAndMessagePaneSplitter) return gThreadAndMessagePaneSplitter;	var splitter = document.getElementById('gray_horizontal_splitter');	gThreadAndMessagePaneSplitter = splitter;	return splitter;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/fb72856f7b36ca48df4e97041e14fd444da14024/msgMail3PaneWindow.js/buggy/mailnews/base/resources/content/msgMail3PaneWindow.js