כאן מוצגים ההבדלים בין הגרסה שנבחרה והגרסה הנוכחית של הדף.
— |
מסך_השאלות_קטן_מאוד [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. | ||