SourceEditorのGUIのバグの修正をしました.昨年来の一連のGUIの改修作業については,これで一段落といった感じです. MarkReaderについても,要望の多かった「集計」に関して,実験的な実装を試みるなど,機能強化を行ないました.