Doteditor: Редактор графического интерфейса для языка точек, используемого в графическом представлении.