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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/68efbf02d2893e1b8f54a79f770407d8e84dcf84/msgMail3PaneWindow.js/buggy/mailnews/base/resources/content/msgMail3PaneWindow.js