context: function Doc_OnKeyDownUndo(){	if ( !FCKUndo.Typing )	{		FCKUndo.SaveUndoStep() ;		FCKUndo.Typing = true ;		FCK.Events.FireEvent( "OnSelectionChange" ) ;	}		FCKUndo.TypesCount++ ;	if ( FCKUndo.TypesCount > FCKUndo.MaxTypes )	{		FCKUndo.TypesCount = 0 ;		FCKUndo.SaveUndoStep() ;	}}
meta: 1235	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/1235/c3e806dd2e80d30e5028083f65e626da8d5acba4/fck_ie.js/buggy/reference/library/src/webapp/editor/FCKeditor/editor/_source/internals/fck_ie.js