Index: wp-admin/theme-editor.php
===================================================================
--- wp-admin/theme-editor.php	(revision 17378)
+++ wp-admin/theme-editor.php	(working copy)
@@ -86,6 +86,9 @@
 			fwrite($f, $newcontent);
 			fclose($f);
 			$location = "theme-editor.php?file=$file&theme=$theme&a=te&scrollto=$scrollto";
+			
+			do_action( 'edited_theme', $themes[$theme]['Stylesheet'], $file, $newcontent );
+
 		} else {
 			$location = "theme-editor.php?file=$file&theme=$theme&scrollto=$scrollto";
 		}