Page 2 sur 3
Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 15:44
par soupaloignon
Dernier message de la page précédente :
Hello,
Suis en train de tester la manip de arghlub

Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 15:53
par victoria
Ha intéressant Arghlub, on a pas la même façon de facon.
Alors tu fais ceci
Tu ouvres un terminal
Tu copies colles ceci
Code : Tout sélectionner
sudo xed /usr/lib/linuxmint/mintMenu/plugins/applications.glade
Une fois l'éditeur de texte ouvert, tu fais une recherche, dans le cadre de recherche de l'éditeur de texte tu tapes simplement
"search"
Tu devrais avoir peu de résultats, environ 6
Tu trouves les éléments comme sur ma capture (encadré en Rose)
Et tu passe la valeur
<property name="visible">False</property>
à False.
Comme sur ma capture (encadré Bleu Foncé)
Tu enregistres le fichier.
Tu fermes tous les programmes.
Tu te déconnectes de ta session.
Et tu te reconnecte.
Et normalement l'élément recherche aura disparu du menu.
Mais moi c'est sur une Manajro Mate, donc il se peut que tu n'ai pas les mêmes chemins et que la méthode de Arghlub soit mieux appropriée.
Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 15:57
par soupaloignon
Yes un grand merci, cela fonctionne nickel
Victoria, la manip de Arghlub était 1 des 3 que tu avais trouvé ?
Et voilà le résultat en image. et franchement, pour une personne qui vient d'un win10, et qui d'ailleurs était paumée, cela va être le paradis.

Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 15:59
par arghlub
Super
Tu sais ce qu'il te reste à faire ...
Si le sujet est résolu, merci d'éditer
le premier message du sujet, puis :
- mettre un petit
, comme suit : voir tuto ici
- mettre un [résolu] (entre crochets et à gauche) dans le titre de ce premier message

Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 16:05
par arghlub
victoria a écrit :Ha intéressant Arghlub, on a pas la même façon de facon.
En fait cela revient exactement au même...
Car si tu regardes bien le code, les objets "searchLabel", "searchEntry" et "searchBouton" sont des enfants (child) de «hbox9».
Donc rendre invisible leur parent (hbox9) suffit

Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 16:05
par victoria
Oui c'était une de mes solutions, qui est ici d'ailleurs
https://forums.linuxmint.com/viewtopic.php?t=172414" onclick="window.open(this.href);return false;
Mais comme je n'ai pas de Mint Mate je ne peux pas tester, contrairement à Arghlub
En tout cas le problème est résolu, et en plus ça sera vite remis en place, si jamais ta copine veut avoir la barre de recherche
Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 16:08
par victoria
@arghlub
Sur Manjaro Mate il n'y a pas pas le parent "hbox9" ou je ne fais pas attention.
C'est pour ça que j'étais partie sur cette autre technique, qui était disons plus "générale" et plus facilement adaptable d'une distribution à l'autre.
Vu que Mint-Menu n'existe pas sur les autres distributions, et comme je n'ai pas de Mint, j'ai fais selon ce que j'avais sous la main

Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 16:11
par arghlub
Sur ta capture on voit qu'il sont dans des balises <child> donc il doivent être forcément enfants de quelque chose

Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 16:15
par victoria
Oui ils sont enfants de quelque chose, mais je ne sais plus de quoi, j'ai regardé vite fait, puis je me suis dis que ça serait plus sur de donner cette manip légèrement plus longue, mais plus "passe-partout".
Ca prouve que l'une ou l'autre des techniques fonctionnent de la même façon, et c'est logique en soi

En revanche quand il y aura des mises à jour de Mate, je ne sais pas si le fichier va être remis en état d'origine ou pas..
Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 16:37
par arghlub
victoria a écrit :puis je me suis dis que ça serait plus sur de donner cette manip légèrement plus longue, mais plus "passe-partout".
Absolument. De plus, ta “version” est plus facilement mémorisable, vu qu'il faut rechercher les identifiants commençant par "search"
(plus simple à retenir qu'un numéro de boîte horizontale).
victoria a écrit :En revanche quand il y aura des mises à jour de Mate, je ne sais pas si le fichier va être remis en état d'origine ou pas..
Oui, pas sur que la modif' ne saute pas.

(mais bon la manip' n'est pas compliquée)
Re: Enlever la recherche (filtre) dans MintMenu
Posté : sam. 26 mai 2018 16:50
par soupaloignon
Merci en tout cas à tous les 2 pour votre participation.
Au final je vais retenir la manière de Victoria, c'est effectivement plus simple à faire, dans le sens où il n'y a pas de compilation.
>> Victoria : il y a une erreur de fichier dans ton message, rectifie le au cas où quelqu'un d'autre cherche à faire cette manipe
Tu as écris :
Code : Tout sélectionner
sudo xed /usr/lib/linuxmint/mintMenu/plugins/applications.glades
Mais il n'y a pas de S à glade