spip-contrib-extensions/markdown_editor
Par RastaPopoulos, le 13 mai 2025 à 11h29min :
fix: les vrais boutons disabled doivent être grisés aussi (en attendant que ce soit corrigé dans la dist)
Modifié
prive/style_prive_plugin_markdown_editor.css.html