[spip-dev] patch pour filtrer l'affichage des plugins

Dev
1

Hello,

a chaque fois que je cherche un plugin, cette fonctionnalité me manque
alors voila. Ca rajoute un champ dans lequel on peut taper du texte
(jusque là, tout est normal) et ca filtre la liste des plugins sur ce
texte. rien de compliqué mais pour une fois, je savais le faire.

si vous voyez des choses a améliorer...

Chag

--- ecrire/inc/charger_plugin.php 2009-05-12 14:11:13.000000000 +0200
+++ /home/chag/Downloads/spip/ecrire/inc/charger_plugin.php
2008-12-23 10:37:47.000000000 +0100
@@ -149,7 +149,7 @@
                        . "</div>\n";

                $res .=
- "<h3>"._T('plugins_compte',array('count'
=> count($menu)))."</h3><form><input type=\"text\" id=\"pluginfilter\"
/></form>"
+ "<h3>"._T('plugins_compte',array('count'
=> count($menu)))."</h3>"
                                . "<div class='formulaire_spip'>"

                                //debut_cadre_enfonce('', true, '', '')
@@ -170,15 +170,6 @@
                        jQuery('#bouton_charger_plugin').show();
                        });
                });
- jQuery('#pluginfilter').keyup(function(event){
- stringFilter = jQuery('#pluginfilter').val();
- if (stringFilter == \"\") {
- jQuery('div.desc_plug').show();
- } else {
- jQuery('div.desc_plug').hide();

2

Peut etre ajouter le champ de filtrage dynamiquement en jquery, plutot qu’en dur dans la page, ca evite d’avoir n champ qui traine si js est coupe ?

a+

3

Voila.

J'sais pas si c'est tres orthodoxe mais ca fonctionne. Si il faut faire
autrement (je ne connais pas les regles de dev de spip), dites moi

--- /home/chag/Downloads/spip/ecrire/inc/charger_plugin.php
2008-12-23 10:37:47.000000000 +0100
+++ ecrire/inc/charger_plugin.php 2009-05-12 21:07:18.000000000 +0200
@@ -170,6 +170,16 @@
                        jQuery('#bouton_charger_plugin').show();
                        });
                });
+ jQuery('h3 +
div.formulaire_spip').prev().after(\"<form><input type='text'
id='pluginfilter' /></form>\");
+ jQuery('#pluginfilter').keyup(function(event){
+ stringFilter = jQuery('#pluginfilter').val();
+ if (stringFilter == \"\") {
+ jQuery('div.desc_plug').show();
+ } else {
+ jQuery('div.desc_plug').hide();

4

Simplifié et commité en [13985]. Merci ! reste à ajouter ça pour les
plugins présents dans plugins (quand tu as toute la zone, aïe). Et
tant qu'à faire on pourrait unifier les deux listes ??