Retourner au contenu associé (journal : Opera passe à Webkit)
Posté par Laurent J (site web personnel, Mastodon) le 15 février 2013 à 14:01. En réponse au journal Opera passe à Webkit. Évalué à 0.
Je n'en sais rien pour Servo. Il n'y a pas de raison que cela ne le soit pas. Gecko est intégrable depuis la nuit des temps.
https://developer.mozilla.org/en-US/docs/Gecko/Embedding_Mozilla
Certes l'API est un peu vieillote et apparemment plus compliqué que pour webkit malheureusement. Des travaux avaient commencé pour simplifier tout ça mais ça à l'air au point mort.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Analyse de glazou
Posté par Laurent J (site web personnel, Mastodon) . En réponse au journal Opera passe à Webkit. Évalué à 0.
Je n'en sais rien pour Servo. Il n'y a pas de raison que cela ne le soit pas. Gecko est intégrable depuis la nuit des temps.
https://developer.mozilla.org/en-US/docs/Gecko/Embedding_Mozilla
Certes l'API est un peu vieillote et apparemment plus compliqué que pour webkit malheureusement. Des travaux avaient commencé pour simplifier tout ça mais ça à l'air au point mort.