Gnome 3 (Gnome Shell) движок JavaScript / CSS

Question

Мне интересно, какой тип и версию движков JavaScript / CSS использует Gnome 3 aka Gnome Shell?

Есть ли какая-либо информация о текущей версии и т. Д.?

Answer 1

Для JavaScript движок GJS (на основе SpiderMonkey).Для тематики используется своего рода расширенный набор CSS2 .Возможно, вам будет интересно прочитать документацию GtkCssProvider и информацию о миграции .

С другой стороны, доступны некоторые CSS3-подобные операции, такие как radialи линейные градиенты.Возможно, вы захотите взглянуть на статью Styling GTK + с CSS , чтобы получить некоторые идеи.Статья была написана разработчиком, который написал GtkCssProvider .

Answer 2

JavaScript-движок GJS . Я считаю, что CSS является внутренним - в GTK 3 все темы выполняются с использованием CSS.