playground - Revision 5905: /trunk/mini-editor-C/etc