renamed class ide_editor to CC_Ide_editor
--- trunk/programs/ide/lib/ide_editor.php 2007-01-08 13:47:19 UTC (rev 103)
+++ trunk/programs/ide/lib/ide_editor.php 2007-01-08 13:50:12 UTC (rev 104)
@@ -1,6 +1,6 @@
<?php
-class ide_editor extends CC_Ide_notebook {
+class CC_Ide_editor extends CC_Ide_notebook {
}