[Pointeur et barre de défilement vertical]

Edité/Annulé le 08/05/16

[Pointeur et barre de défilement vertical]

Bonjour Nasra et Scard,

 

Avec l'ami cité dans mon message du 23 Avril, nous avons enfin trouvé la solution à mon problème d'"ascenseur": la solution consiste à modifier les valeurs de "scrollbar" dans gtk2 et gtk3. Seulement, cette solution était valable uniquement pour Linux Mint lui-même et non pas pour Firefox avec le thème que j'utilise depuis de très nombreuses années (NASA Night Launch): en fait, j'ai dû en changer au bénéfice de FT DeepDark, alors que je n'ai jamais eu de tels problèmes avec ce thème, ni avec Win XP, ni avec Win7 ! Une fois ce changement effectué, l'ascenseur est devenu beaucoup plus visible, même s'il n'est pas aussi important que, par exemple, "Libre Office Writer"; mais c'est bien suffisant pour mes besoins. 

 

Merci encore pour votre aide,

Marco

[Pointeur et barre de défilement vertical]

Bonjour,

 

Mon éditeur de texte sous Linux Mint est "Gedit". Nous avons bien essayé de changer les valeurs de "scrollbar", mais ça ne marche pas ! Auriez-vous d'autres suggestions ?

 

Merci d'avance.

[Pointeur et barre de défilement vertical]

Bonjour,

 

Les distributions Elementary OS et Linux Mint utilisent des thèmes différents.

sudo scratch-text-editor /usr/share/themes/elementary/gtk-3.0/gtk-widgets.css

(élément souligné dans la commande)

De plus, les éditeurs de textes ne sont pas les mêmes, donc au lieu d'utiliser scratch-text-editor, il convient d'utiliser l'éditeur de texte de Linux Mint.

 

Pour que cette commande fonctionne avec Linux Mint, il faut donc :

- remplacer l'élément souligné de la commande plus haut avec le thème utilisé.

- remplacer la commande de l'éditeur de texte avec celui de Linux Mint.

 

 

Bonjour Marco POLO,

comme te l'a dit Nasra le répertoire "/usr/share/themes/elementary/gtk-3.0/" et spécifique à elementary.

Pour Linux Mint ça doit certainement être quelque chose comme:

 

/usr/share/themes/[LE NOM DU THEME MINT PAR DEFAUT OU ACTIVÉ]/gtk-3.0/gtk-widgets.css

 

...Bonjour Nasra et Scard,

 

Désolé pour le retard à vous répondre. Ignorant quel est l'éditeur de texte par défaut, je vais transmettre vos messages à l'ami qui m'a branché sur Mint: j'espère qu'il aura la réponse adéquate.

 

Avec mes remerciements.  

[Pointeur et barre de défilement vertical]

Bonjour LaurentK,

 

la solution est bien dans le lien que tu donnes.

Mais la manip est a faire dans le fichier /usr/share/themes/elementary/gtk-3.0/gtk-widgets.css

Pour sauvegarder avant de commencer:

sudo cp /usr/share/themes/elementary/gtk-3.0/gtk-widgets.css /usr/share/themes/elementary/gtk-3.0/gtk-widgets.css.bak

Ensuite:

sudo scratch-text-editor /usr/share/themes/elementary/gtk-3.0/gtk-widgets.css

Et remplacer la valeur de -GtkRange-slider-width dans scrollbar{} (ligne 1625 normalement) pour changer l'épaisseur de la barre.

Bonjour Scard,

 

Sur les conseils d'un ami, j'ai installé Linux Mint en parallèle à Win7 il y a quelque temps déjà. Cependant, je n'ai pas vraiment eu l'occasion d'utiliser ce nouvel OS jusqu'à ce que, il y a trois mois, ma carte mère me cause de sérieux problèmes avec Win7: alors que, souvent, Win7 éteint l'ordinateur dès que je cherche à télécharger une mise à jour ou que j'essaye de le défragmenter, Mint semble utiliser moins de ressources que Win7.

 

Seulement, l'un des gros problèmes que je rencontre avec Mint est la largeur quasi inexistante des ascenseurs/barres de défilement verticales. Je sais qu'il est possible de l'élargir mais, lorsque j'ai essayé d'utiliser tes deux lignes de code ci-dessus, le terminal m'a répondu:

cp: impossible d'évaluer «/usr/share/themes/elementary/gtk-3.0/gtk-widgets.css»: Aucun fichier ou dossier de ce type

...Connaîtrais-tu une solution à ce problème ?

Avec mes remerciements anticipés pour ton éventuelle réponse...