Thanks for the suggestion! The Revisions feature is based on the core Revision features available in WordPress, at the bottom of the Post editor.
Since this feature will be improved in the next version of WordPress, you can expect that some of the changes will be ported over to the CSS editor.
You can follow the changes to the Revision features here:
http://make.wordpress.org/core/tag/revisions/
