index.html; prevent double click effet on settings with label
Empêche l'effet "double click" sur les éléments de settings.
C'est en dernière minute et au delà du hard freeze, mais ce serait bien de l'inclure dans le release car elle divise par deux le temps de calcul des primers (puisqu'on ne le fait plus qu'une seul fois).
Elle est assez simple et sans effet de bord à priori.
close #4889 (closed)