Archives mensuelles :

février 2023

Copier le texte des items d’un menu déroulant HTML ?

Dans la série des petits tracas de la vie quotidienne du veilleur stratégique qui sommeille en chacun·e de nous, il y a la sélection des items d’un menu déroulant dans une page html pour les coller ailleurs. Voici quatre techniques pour y parvenir, avec une expression régulière et Notepad++, Mastodon, Google Image ou l’extension Fake News Debunker.