J'ai récemment mis à niveau vers Ubuntu 15.04 avec Gnome 3.16, qui fonctionne vraiment très bien sur ma machine (malgré ce que j'ai trouvé sur de nombreux forums sur le Web). Cependant, ayant un écran haute résolution (13,3 "avec 1920x1080), j'ai besoin de mettre à l'échelle l'ensemble du système pour l'utiliser. Il y a un paramètre pour cela dans le TweakTool, mais il ne semble accepter que les entiers comme facteur de mise à l'échelle.
Quelqu'un connaît-il une solution à ce problème? La mise à l'échelle par deux est beaucoup trop grande pour mon écran. La valeur que je veux est plus proche de 1,2
Toute aide sera fortement appréciée!