Bonjour,
Webdev17 se vante de gérer le HTML.
J'ai fait la mise à jour uniquement pour cela.
Je dois reproduire une page HTML qui doit être comptaible HTML5 et qui commence par le doctype :

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

ou

<!DOCTYPE html>
<html lang="fr">


Or, Webdev génère le doctype suivant :

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">

Du coup mon menu déroulant bug complètement sous IE.

Peut-on changer le doctype de la génération de Webdev ?

En quoi Webdev17 est-il compatible avec le HTML5 ?

Merci de vos lumières.

Eric.