I am wondering, which type and version of JavaScript/CSS engines is Gnome 3
aka Gnome Shell
using?
Is there any information about current version, etc?
css is used to control the style of the GNOME Display Manager(Login screen) while gnome-shell.
GNOME Shell is written in C and JavaScript as a plugin for Mutter.
For JavaScript the engine GJS (based on SpiderMonkey). For theming, it is used a sort of superset of CSS2. You might be interested in reading the documentation of GtkCssProvider and the migration information.
On the other hand, there are some CSS3-like operations available, such as radial and linear gradients. You might want to take a look the article Styling GTK+ with CSS to get some ideas. The article was written by the developer who wrote GtkCssProvider.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With