13/12/13 09:39:27.16 Rnd7v/N+
>>582
とっくに使われている。
gnome-shellの拡張はJavaScriptで作られていて、確かWebKitのJavaScriptエンジンで動いてるはず。
13/12/13 09:39:27.16 Rnd7v/N+
>>582
とっくに使われている。
gnome-shellの拡張はJavaScriptで作られていて、確かWebKitのJavaScriptエンジンで動いてるはず。
13/12/13 09:39:27.16 Rnd7v/N+
>>582
とっくに使われている。
gnome-shellの拡張はJavaScriptで作られていて、確かWebKitのJavaScriptエンジンで動いてるはず。