Motor Gnome 3(Shell Gnome) JavaScript/CSS
gnome-3 gnome-shell (2)
Me pregunto, ¿qué tipo y versión de motores JavaScript / CSS usa Gnome 3
aka Gnome Shell
?
¿Hay alguna información sobre la versión actual, etc?
El motor de JavaScript es GJS . El CSS es, creo, interno: en GTK 3, toda la temática se realiza mediante CSS.
Para JavaScript el motor GJS (basado en SpiderMonkey). Para la temática, se utiliza una especie de superconjunto de CSS2 . Es posible que esté interesado en leer la documentación de GtkCssProvider y la información de migración .
Por otro lado, hay algunas operaciones similares a CSS3 disponibles, como gradientes radiales y lineales. Es posible que desee echar un vistazo al artículo Styling GTK + with CSS para obtener algunas ideas. El artículo fue escrito por el desarrollador que escribió GtkCssProvider .