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: 8533	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8533/9e983f26dc3628701a539d2377aaa3db1e8f1f71/fck_ie.js/clean/library/src/webapp/editor/FCKeditor/editor/_source/internals/fck_ie.js