Propriété de Albiri Sigue
customer 27921 at Fri Mar 11 19:19:45 +0100 2011
Chapitre 13
Intégrer le navigateur de WebKit 153
En sélectionnant le lien et en cliquant sur le bouton central du pad, ce lien sera considéré
comme "cliqué", ce qui aura pour effet de reconstruire la page avec une nouvelle date/
heure.
Réglages, préférences et options
Votre navigateur web favori contient un menu "Réglages", "Préférences" ou "Options".
Ajouté aux contrôles de la barre d’outils, ce menu vous permet d’adapter de nombreux
aspects du comportement du navigateur, allant des polices qu’il utilise à la gestion de
JavaScript.
Vous pouvez modifier les réglages d’un widget WebView en fonction de vos besoins, via
l’instance de WebSettings qui est renvoyée par la méthode getSettings() du widget.
Beaucoup d’options de WebSettings sont ainsi à votre disposition. Bien que la plupart
semblent assez ésotériques (setFantasyFontFamily(), par exemple), quelques-unes
peuvent vous être plus utiles :
● Les méthodes setDefaultFontSize() (pour une taille en points) ou setTextSize()
(qui utilise des constantes comme LARGER et SMALLEST pour exprimer une taille relative) permettent de modifier la taille de la police.
● setJavaScriptEnabled() et setJavaScriptCanOpenWindowsAutomatically()
permettent, respectivement, de désactiver totalement JavaScript et de l’empêcher
d’ouvrir des fenêtres popup.
Figure 13.3
L’application Browser3.
Livre Android.book Page 153 Dimanche, 8. novembre 2009 12:23 12
customer 27921 at Fri Mar 11 19:19:45 +0100 2011
Chapitre 13
Intégrer le navigateur de WebKit 153
En sélectionnant le lien et en cliquant sur le bouton central du pad, ce lien sera considéré
comme "cliqué", ce qui aura pour effet de reconstruire la page avec une nouvelle date/
heure.
Réglages, préférences et options
Votre navigateur web favori contient un menu "Réglages", "Préférences" ou "Options".
Ajouté aux contrôles de la barre d’outils, ce menu vous permet d’adapter de nombreux
aspects du comportement du navigateur, allant des polices qu’il utilise à la gestion de
JavaScript.
Vous pouvez modifier les réglages d’un widget WebView en fonction de vos besoins, via
l’instance de WebSettings qui est renvoyée par la méthode getSettings() du widget.
Beaucoup d’options de WebSettings sont ainsi à votre disposition. Bien que la plupart
semblent assez ésotériques (setFantasyFontFamily(), par exemple), quelques-unes
peuvent vous être plus utiles :
● Les méthodes setDefaultFontSize() (pour une taille en points) ou setTextSize()
(qui utilise des constantes comme LARGER et SMALLEST pour exprimer une taille relative) permettent de modifier la taille de la police.
● setJavaScriptEnabled() et setJavaScriptCanOpenWindowsAutomatically()
permettent, respectivement, de désactiver totalement JavaScript et de l’empêcher
d’ouvrir des fenêtres popup.
Figure 13.3
L’application Browser3.
Livre Android.book Page 153 Dimanche, 8. novembre 2009 12:23 12