Gần đây tôi đã nâng cấp lên Ubuntu 15.04 với Gnome 3.16, ứng dụng này hoạt động rất tốt trên máy của tôi (bất chấp những gì tôi tìm thấy trên nhiều diễn đàn trên web). Tuy nhiên, có màn hình DPI cao (13,3 "với 1920x1080) tôi cần phải mở rộng toàn bộ hệ thống để sử dụng nó. Có một cài đặt cho TweakTool, nhưng dường như chỉ chấp nhận số nguyên là hệ số tỷ lệ.
Có ai biết về một cách giải quyết cho điều này? Thu nhỏ bằng hai là quá lớn cho màn hình của tôi. Giá trị tôi muốn gần hơn với 1,2
Chúng tôi rất trân trọng bất kỳ sự giúp đỡ nào!