A plugin for cool editor