כלים של משתמש

כלים של אתר


מסך_השאלות_קטן_מאוד

הבדלים

כאן מוצגים ההבדלים בין הגרסה שנבחרה והגרסה הנוכחית של הדף.

קישור לתצוגה השוואה זו

מסך_השאלות_קטן_מאוד [2019/02/06 12:58] (הגרסה הנוכחית)
techdesk handling HiDPI settings for javaws on Windows
שורה 1: שורה 1:
 +במסכים בעלי רזולוציה גבוהה, מסך השאלות מופיע בצורה קטנה מאוד.
 +
 +התופעה נובעת מהצורה הישנה בה JAVA עובדת במסכים כאלו.
 +
 +בגירסאות מעודכנות של מערכת ההפעלה חלונות 10 ניתן לטפל בה לפי ההוראות הבאות.
 +
 +ניתן לשלוח תיקונים/​שיפורים להנחיות ל techdesk@mathnet.technion.ac.il
 +
 +====הנחיות מומלצות בעברית====
 +
 +  - חפש במחשב את הקובץ javaws.exe
 +  - לחץ על לחצן **הימני** בעכבר ופתח את התיקייה בה נמצאת הקובץ.  ​
 +    * התיקייה אמור להיות מהצורה ''​c:​\Program Files (x86)\Java\jre1.8.201\bin'' ​
 +    * אך מספר הגירסה יכולה להיות שונה, וכן ייתכן שהתיקייה הראשית תהיה שונה בהתאם להגדרות במחשב שלך וגירסת ה- Java שהתקנת.
 +  - סמן את הקובץ javaws.exe ולחץ על לחצן **הימני** בעכבר ובחר ב- Properties / מאפיינים.
 +    * חשוב לטפל בקובץ **javaws.exe** עם האותיות **WS** ולא בקובץ בשם דומה.
 +  - עבור אל בתיקייה Compatibility.
 +  - לחץ על הכפתור ''​Change high DPI settings''​.
 +  - בחלק התחתון של החלון - סמן את תיבת הסימון עבור ''​Override high DPI scaling behavior''​.
 +  - שנה את האפשרות עבור ''​Scaling performed by''​ ל- ''​System (enhanced)''​ או ל- ''​System''​
 +  - הקלק על OK
 +  - הקלק על ''​Apply''​
 +  - נסה עכשיו לפתוח שאלת מתנט. אם אין שיפור, ניתן לנסות את הבחירה האחרת בשלב 7.
 +  - לחץ OK כדי לסגור את חלון ה- Properties.
 +
 +**הערה:​** ייתכן מאוד שיהיה צורך לבצע פעולות אלו אחרי כל שדרוג של Java.
 +
 +
 +====מקורות להנחיות====
 +
 +  * https://​pivotce.com/​2017/​12/​11/​fix-java-applications-for-high-dpi-display/ ​
 +  * https://​superuser.com/​questions/​988379/​how-do-i-run-java-apps-upscaled-on-a-high-dpi-display
 +  * https://​blogs.windows.com/​buildingapps/​2017/​05/​19/​improving-high-dpi-experience-gdi-based-desktop-apps/​
 +  * https://​www.windowscentral.com/​how-change-high-dpi-settings-classic-apps-windows-10-april-2018-update
 +  * https://​www.windowscentral.com/​how-improve-app-dpi-scaling-enabling-system-enhanced-feature-windows-10
 +
 +
 +====English instructions====
 +
 +  - Search for ''​javaws.exe''​ on your PC 
 +  - Right click on it to open the folder where it is located.
 +    * The folder is probably something like ''​C:​\Program Files (x86)\Java\jre1.8.201\bin\'' ​
 +    * but will depend on the Java version installed and some settings from your PC.
 +  - Locate the icon for ''​javaws.exe''​ and right click it and the select ''​Properties''​.
 +    * The ''​WS''​ matters in the file name matters: plain ''​java.exe''​ and ''​javaw.exe''​ are different programs.
 +  - Open the "​Compatibility"​ tab.
 +  - Click on the button "​Change high DPI settings"​.
 +  - Near the bottom, **mark** on the checkbox for ''​Override high DPI scaling behavior''​.
 +  - For the ''​Scaling performed by''​ setting select ''​System''​ or ''​System (enhanced)''​.
 +  - Click ''​OK''​.
 +  - Click ''​Apply'' ​
 +  - Try to open a MathNet problem.
 +    * If it did not help, you can try the other setting in stop 6.
 +  - Click ''​OK''​ to leave the preferences window.
 +
 +
 +**Warning:​** This process probably needs to be repeated each time Java is updated.
  
מסך_השאלות_קטן_מאוד.txt · מועד השינוי האחרון: 2019/02/06 12:58 על ידי techdesk