[emacs][agda] Есть ли емакс на гтк? Или агда без емакса.

он и так на GTK.

Emacs вполне себе на GTK.

на тролля похож..

emacs на GTK же

agda

кнопочки всякие, но не понятно, какого рода кнопки и что они делают

не по ХИГу как-то

Толсто.

Emacs вполне себе на GTK.

да не ври:

Most graphical user interface toolkits, such as Motif and XView, provide a number of standard user interface controls (sometimes known as `widgets' or `gadgets'). Emacs doesn't really support anything like this, except for an incredible powerful text «widget». On the other hand, Emacs does provide the necessary primitives to implement many other widgets within a text buffer

я и правда не вижу смысла в том, что в придачу к зависимым типам и хаскеллоподобному синтаксису идёт емакс.

я и правда не вижу смысла в том, что в придачу к зависимым типам и хаскеллоподобному синтаксису идёт емакс.

Ты, наверное, на торрентс.ру скачал пиратскую версю Agda Zver Edition. Никто не мешает использовать любой другой редактор.

> а то я открыл --- а посередине листа какая-то штука, думал, это текст, а на него можно кликать, там кнопочки всякие, но не понятно, какого рода кнопки и что они делают

ты что курил, признавайся?

Не кушай борщ с ЛСД больше

FAT TROLL IS SO FAT yeah.

> а посередине листа какая-то штука, думал, это текст, а на него можно кликать, там кнопочки всякие, но не понятно, какого рода кнопки и что они делают, не по ХИГу как-то.
Забористая дрянь.

чтобы всё было на гтк

emacs-gtk/USE=«X gtk» emerge emacs

ладно, если емакса на гтк не бывает, то как эту херовину вообще убрать?

http://rghost.net/17896941/image.png

чтобы всё по ХИГу было.

> если емакса на гтк не бывает
emacs на GTK+.

Это «modeline»/строка состояния.

>вообще убрать?

(setq-default mode-line-format nil)

>emacs на GTK+.

Это «modeline»/строка состояния

если ты не видел, как выглядит GtkStatusbar, посмотри внизу геедита.

Для того, чтобы emacs выглядел похоже в разных тулкитах и без них, всё, что касается редактирования и отрисовки внутри него, делается его внутренними средствами (преимущественно - текстовыми). Заметьте, что, несмотря на то, что emacs на GTK, но он например не использует gtksourceview для отрисовки текста.

Возможность полноценного встраивания gtk виджетов и X приложений может появиться (или появится - тут я не в курсе) в 24-й версии.

Слишом --- жирно.