Workaround for FF bug on selection lost when hiding the editor

gistfile1.js

// The below code is for FF only.

var editor = CKEDITOR.appendTo( 'editor1' );
setTimeout( function()
{
	var focused = editor.focusManager.hasFocus;
	if ( focused )
	{
		var sel = editor.getSelection();
		sel.lock();
	}

	document.getElementById( 'editor1' ).style.display = 'none';
	setTimeout( function()
	{
		document.getElementById( 'editor1' ).style.display = 'block';

		if ( focused )
		{
			editor.focusGrabber.focus();
			setTimeout( function() { editor.getSelection().unlock( true ); } );
		}

	}, 1000 );
}, 5000 );