Historique des modifications [retour]
cliquez ici pour masquer/afficher la révision 3

15 Aoû '16, 18:09

Bernard's gravatar image

Bernard
4.6k15

Pour TeXstudio, il faut aller dans `Options -> Configurer Texstudio -> Mise à l'échelle de l'interface (Gui scaling dans la version anglaise)`, où vous attendent trois curseurs, pour régler de façon indépendante la taille de la barre d'outils, de la barre latérale et des palettes. Rien de tel ne semble exister pour TeXmaker (à moins que j'aie mal cherché). Si cel cela s'avère, il faudrait peut-être envoyer une demande en ce sens à l'auteur.
cliquez ici pour masquer/afficher la révision 2

15 Aoû '16, 14:01

Bernard's gravatar image

Bernard
4.6k15

Pour TeXstudio, il faut aller dans `Options -> Configurer Texstudio -> Mise à l'échelle de l'interface (Gui scaling dans la version anglaise)`. `, anglaise)`, où vous attendent trois curseurs, pour régler de façon indépendante la taille de la barre d'outils, de la barre latérale et des palettes. Rien de tel ne semble exister pour TeXmaker (à moins que j'aie mal cherché). Si cel s'avère, il faudrait peut-être envoyer une demande en ce sens à l'auteur.
cliquez ici pour masquer/afficher la révision 1

15 Aoû '16, 14:00

Bernard's gravatar image

Bernard
4.6k15

C'est votre première visite ici ? Consultez la FAQ !

×