Line 190... |
Line 190... |
190 |
}
|
190 |
}
|
Line 191... |
Line 191... |
191 |
|
191 |
|
192 |
private void selectionSommaire(String page) {
|
192 |
private void selectionSommaire(String page) {
|
193 |
String serviceUrl = ((Configuration) Registry.get(RegistreId.CONFIG)).getServiceBaseUrl();
|
193 |
String serviceUrl = ((Configuration) Registry.get(RegistreId.CONFIG)).getServiceBaseUrl();
|
194 |
String aidePageUrl = serviceUrl+SERVICE_NOM+"/"+page;
|
- |
|
195 |
GWT.log("Sélection : "+aidePageUrl, null);
|
194 |
String aidePageUrl = serviceUrl+SERVICE_NOM+"/"+page;
|
196 |
chargerPageAide(aidePageUrl);
|
195 |
chargerPageAide(aidePageUrl);
|
Line 197... |
Line 196... |
197 |
}
|
196 |
}
|
198 |
|
- |
|
199 |
private void chargerPageAide(String url) {
|
197 |
|
200 |
GWT.log("Charger : "+url, null);
|
198 |
private void chargerPageAide(String url) {
|
201 |
conteneurDuHtml = new HtmlContainer() {
|
199 |
conteneurDuHtml = new HtmlContainer() {
|
202 |
public void onBrowserEvent(Event e) {
|
200 |
public void onBrowserEvent(Event e) {
|
203 |
// Nous vérifions que l'évenement est un clic et qu'il a lieu sur un lien
|
201 |
// Nous vérifions que l'évenement est un clic et qu'il a lieu sur un lien
|
204 |
if (e.getTypeInt() == Event.ONCLICK && e.getEventTarget().toString().startsWith("http://")) {
|
202 |
if (e.getTypeInt() == Event.ONCLICK && e.getEventTarget().toString().startsWith("http://")) {
|
205 |
e.preventDefault();
|
203 |
e.preventDefault();
|
206 |
String urlPageAideCible = e.getEventTarget().toString();
|
204 |
String urlPageAideCible = e.getEventTarget().toString();
|
207 |
chargerPageAide(urlPageAideCible);
|
205 |
chargerPageAide(urlPageAideCible);
|
208 |
String codePageAideCible = urlPageAideCible.substring(urlPageAideCible.lastIndexOf("/")+1);
|
- |
|
209 |
etendreArbre(codePageAideCible);
|
206 |
String codePageAideCible = urlPageAideCible.substring(urlPageAideCible.lastIndexOf("/")+1);
|
210 |
GWT.log("Clic : "+urlPageAideCible+"::"+codePageAideCible, null);
|
207 |
etendreArbre(codePageAideCible);
|
211 |
} else {
|
208 |
} else {
|
212 |
GWT.log("Event target:"+e.getEventTarget().toString()+" - type :"+e.getTypeInt()+"="+Event.ONCLICK, null);
|
209 |
GWT.log("Event target:"+e.getEventTarget().toString()+" - type :"+e.getTypeInt()+"="+Event.ONCLICK, null);
|
213 |
}
|
210 |
}
|