私は、JavaScript/CSS エンジンのどのタイプとバージョンがGnome 3
別名Gnome Shell
を使用しているのか疑問に思っています。
現在のバージョンなどに関する情報はありますか?
私は、JavaScript/CSS エンジンのどのタイプとバージョンがGnome 3
別名Gnome Shell
を使用しているのか疑問に思っています。
現在のバージョンなどに関する情報はありますか?
JavaScript の場合、エンジンGJS (SpiderMonkey に基づく)。テーマ設定には、 CSS2の一種のスーパーセットが使用されます。GtkCssProviderのドキュメントと移行情報を読むことに興味があるかもしれません。
一方、放射状グラデーションや線形グラデーションなど、CSS3 に似た操作もいくつか利用できます。CSS を使用した GTK+ のスタイリングの記事を参照して、アイデアを得ることができます。この記事はGtkCssProviderを書いた開発者によって書かれました。
JavaScriptエンジンはGJSです。CSSは内部的なものだと私は信じています-GTK3では、すべてのテーマ設定はCSSを使用して行われます。