'Ext/developer/SourceEditor' の第1 areaeditの編集