Gnome 3.16 การปรับ HiDPI ยอมรับเฉพาะจำนวนเต็มเท่านั้น

ฉันเพิ่งอัพเกรดเป็น Ubuntu 15.04 ด้วย Gnome 3.16 ซึ่งใช้งานได้ดีกับเครื่องของฉัน การมีหน้าจอ DPI สูง (13.3 "กับ 1920x1080) ฉันจำเป็นต้องปรับขนาดระบบทั้งหมดเพื่อใช้งานมีการตั้งค่าสำหรับสิ่งนั้นใน TweakTool แต่ดูเหมือนว่าจะยอมรับเฉพาะจำนวนเต็มเท่านั้น

มีใครรู้เกี่ยวกับวิธีแก้ปัญหาสำหรับสิ่งนี้หรือไม่? การขยายสเกลสองครั้งนั้นใหญ่เกินไปสำหรับหน้าจอของฉัน ค่าที่ฉันต้องการอยู่ใกล้กับ 1.2

ความช่วยเหลือใด ๆ จะได้รับการชื่นชมอย่างมาก!

ฉันตรวจสอบด้วยการติดตั้ง Fedora 21 ของฉันที่ฉันมี Gnome 3.14.2 และดูเหมือนจะเป็นไปไม่ได้ที่จะตั้งค่าที่คุณต้องการ:

[btegge@za21 ~]$ gsettings set org.gnome.desktop.interface scaling-factor 1.2
invalid character in number:
  1.2
   ^
[btegge@za21 ~]$ gsettings set org.gnome.desktop.interface scaling-factor 1,2
expected end of input:
  1,2
   ^

สมมติฐานของฉัน:

• มีการตั้งค่าอื่นเพื่อให้บรรลุสิ่งที่คุณต้องการ สิ่งเดียวที่อยู่ในใจของฉันคือการแสดงตัวอักษรที่เกี่ยวข้องแม้ว่านั่นไม่ใช่สิ่งที่คุณกำลังมองหา
• เป็นความผิดพลาดที่คีย์ยอมรับเฉพาะจำนวนเต็มเป็นประเภทข้อมูลและคุณควรยื่นข้อบกพร่อง

ฉันไม่แน่ใจว่าสิ่งนี้ได้รับการแก้ไขหรือไม่ แต่มีสองตัวเลือกการปรับขนาดใน Gnome เพื่อให้บรรลุสิ่งนี้ แอตทริบิวต์ "window scaling" ที่คุณกำลังทำอยู่ยอมรับ 1 หรือ 2 (หรือ 0 แต่นี่คือ "undefined" ฉันคิดว่า) หากคุณต้องการคุณสามารถปรับขนาดข้อความซึ่งยอมรับตัวเลขลอยตัว

ใน Gnome Tweak Tool จะมีอยู่ในส่วนแบบอักษร อีกวิธีหนึ่งคุณสามารถเข้าถึงทั้งใน dconf-editor ภายใต้org.gnome.desktop.interfaceฉันสังเกตเห็นว่าตัวเลือกนี้มีแนวโน้มที่จะทำงานได้ดีขึ้นเนื่องจาก Gnome Tweak Tool บางครั้งไม่สามารถอัปเดตการตั้งค่าได้อย่างถูกต้องทำให้เกิดปัญหาการปรับขนาดแปลก ๆ

ปรับ Fractional จะได้รับการสนับสนุนอย่างเป็นทางการในรุ่นต่ำกว่า3.32และได้รับการสนับสนุนที่ทุกคนภายใน GNOME 3.28ในรุ่นต่ำกว่า

คุณ neverthless สามารถได้รับผลเช่นเดียวกันใน 3.16 กับxrandr

คุณสามารถทำได้หากคุณเปลี่ยนเป็นเซิร์ฟเวอร์แสดงผล Wayland: https://www.omgubuntu.co.uk/2017/09/enable-fractional-scaling-gnome-linux

ไม่อย่างนั้นตัวเลือกเดียวของคุณก็น่าจะเป็นรุ่นของ distro ด้วย GNOME รุ่นใหม่ ฟังก์ชั่นนี้มีอยู่ใน Ubuntu 19.04: https://www.omgubuntu.co.uk/2019/06/enable-fractional-scaling-ubuntu-19-04

การปรับสเกลที่ไม่ใช่จำนวนเต็มนั้นยังไม่รองรับใน Gnome และ Ubuntu แม้ว่ามันเป็นไปได้ที่จะประสบความสำเร็จในการแก้ปัญหาด้วยการใช้ xrandr ซึ่งเกี่ยวข้องกับการลดอัตราการสุ่มสัญญาณและการลดขนาดสัญญาณที่ตามมาฉันไม่สามารถแนะนำสิ่งนี้ได้เนื่องจากเป็น CPU / GPU ที่เข้มข้นมากและมาพร้อมกับปัญหาอื่น ๆ . มีการถกเถียงกันอย่างต่อเนื่องและให้ความสำคัญกับ r / linux มากกว่าที่ reddit หากคุณสนใจและที่นี่ยังเป็นบทความจากหนึ่งในนักพัฒนาขั้นพื้นฐาน (distro จาก Ubuntu) ที่พูดถึง DPI ในระดับลึก: ลิงค์ หวังว่านี่จะช่วยได้เล็กน้อย