タグ: ドッキング

マウスジェスチャ，CVS表示，ドッキング形式のGREP結果などが行えるMDI型テキストエディタ