Hi,

has there been any progress on porting gnome-shell to using seed instead
of gjs? It sounds kind of silly to use two JavaScript engines, and to
reintroduce a dependency on Gecko after having finally managed to get
rid of it.

Cheers,
-- 
 .''`.      Josselin Mouette
: :' :
`. `'   “I recommend you to learn English in hope that you in
  `-     future understand things”  -- Jörg Schilling

Attachment: signature.asc
Description: Ceci est une partie de message numériquement signée

_______________________________________________
desktop-devel-list mailing list
desktop-devel-list@gnome.org
http://mail.gnome.org/mailman/listinfo/desktop-devel-list

Reply via email to