)]}' { "commit": "25d529a89bee8edb82d38a3ec98a6df2ef5a91f2", "tree": "e91ce91266535c9e1c75fb06c719b1ee07c5acab", "parents": [ "d76a4acff64e0804c1ef6a861b9106495aefd77e" ], "author": { "name": "Holger Voormann", "email": "eclipse@voormann.de", "time": "Tue Oct 06 16:10:58 2020 +0200" }, "committer": { "name": "Wim Jongman", "email": "wim.jongman@remainsoftware.com", "time": "Mon Nov 30 16:22:44 2020 -0500" }, "message": "Bug 493667 - [HiDPI] Workaround Internet Explorer font scaling bug\n\nProblem:\n\nThe Microsoft Internet Explorer (and probably also legacy non Chromium\nbased Microsoft Edge versions) does scale system fonts (for instance\n\"font: icon\") much too large on high-DPI displays, if no font size is\nspecified. This affects the Eclipse embedded help on Windows, since on\nWindows the browser widget currently uses the Internet Explorer by\ndefault.\n\nIn addition, \"font: icon\" without a font size affects also the\nInfocenter since different browsers display it in different sizes. On\nWindows 10, on my computer \"font: icon;\" without a font size is\ndisplayed in Chrome and Edge in the font size 16px, on the same computer\nit is displayed in IE and Firefox in 12px by default. Firefox and IE use\nthe system font used to label icons, but in Chrome changing the system\nicon font does not change the font in the browser (note, in Windows 10\nthe UI to change the icon font and other fonts has been removed, so only\nthe general font size can be set without editing the registry). On the\niPad the font size seems to be 14px and on an Android smartphone it\nseems to be 16px (Chrome) and 12px (Firefox).\n\nThe original idea to use \"font: icon\" without a font size to get as\nclose to the system look as possible does not seem to work anymore due\nto the mentioned IE bug on high-DPI displays and the lack of support of\nit in Chrome (including Microsoft Edge).\n\nSolution:\n\nAs a compromise, add \"0.875 rem\" everywhere where \"font: icon\" and\n\"font: message-box\" is used, which is 14px, as long as the default text\nsize of the web browser of 16px is not changed. This will change the\nfont size in most cases, but in each of these cases only a little bit\n(either +2px or -2px).\n\nChange-Id: Ic92118c37b2ba7eedcbc87e72e08d59cb727e525\nSigned-off-by: Holger Voormann \u003ceclipse@voormann.de\u003e", "tree_diff": [ { "type": "modify", "old_id": "e5058c5c655fa31b4830295ea2d084291ef20ba8", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/advanced.jsp", "new_id": "d0887c17b312d7c1465251a00e91fe712f1c1e32", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/advanced.jsp" }, { "type": "modify", "old_id": "2c787f074a2d83a25a4d6cbe95aaaf7f18ed0cf0", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/breadcrumbs.css", "new_id": "f0df3d3708020074dc231406aa5ec610d5096c2f", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/breadcrumbs.css" }, { "type": "modify", "old_id": "7be3008197b1a14a804175aecd7f6c2c92c95545", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/confirmShowAll.jsp", "new_id": "567a803822ff124ca33e0da7f783ff4a85ea0c4a", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/confirmShowAll.jsp" }, { "type": "modify", "old_id": "c1fdf719cd7430540bc641217170fdfc8425306e", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/deferredView.css", "new_id": "2e5ed29bbb325dfe87ce134785a7d52ebc4ddf4b", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/deferredView.css" }, { "type": "modify", "old_id": "c7eea76dd449793f0edafa3b7c5ec280ff31ff03", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/indexView.css", "new_id": "cc5e67c053fd0921917a275fe4f2f20992697ef8", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/indexView.css" }, { "type": "modify", "old_id": "a80e0cdda4f39b70d0374c4f59fb797c8c6fa63a", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/list.css", "new_id": "a6361b5235232e2599fcfaf8cb8053d877399ede", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/list.css" }, { "type": "modify", "old_id": "956ebb47ecd12e9ad2bbaf3e4ed395b3aec2a3e2", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/quickSearch.jsp", "new_id": "920029bec4bc685555ac0e76abfb229fdf7c607c", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/quickSearch.jsp" }, { "type": "modify", "old_id": "20e348c0d684b8de711a45b3ebefceb5369abc40", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/searchList.css", "new_id": "9632ff61b0d2f83fc4b0d96b3bfbac2c4d465d16", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/searchList.css" }, { "type": "modify", "old_id": "36a1b23e7431a2ff60a36baac3afb0beac6d3479", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/searchScoped.jsp", "new_id": "8c629a23ea7ac3c80453dd7bf9ce0d4f6678d300", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/searchScoped.jsp" }, { "type": "modify", "old_id": "e74c247fb9863c5cef2091b56454b36dc639b3c0", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/searchSimple.jsp", "new_id": "9d7e80a73ec36aaaa4fd111f7c92ecd1571a66cc", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/searchSimple.jsp" }, { "type": "modify", "old_id": "95375074f2206055542be9bfbe955e3afa103b23", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/tocTree.css", "new_id": "92150b5833b92695e71b9bb3d5cb717faa59a86a", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/tocTree.css" }, { "type": "modify", "old_id": "a3fc3af50c80c25dfebcfb80a3145df16e356f86", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/toolbar.jsp", "new_id": "1d069273f415fda20ef0984a9c2c139d9f76bfab", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/toolbar.jsp" }, { "type": "modify", "old_id": "1bf8583c31305fe6a996c1a10b985e7a0d0e4432", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/tree.css", "new_id": "e890b1b568dcc759d74533986a731e5a08047ae6", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/tree.css" }, { "type": "modify", "old_id": "8eac79917fc853432174f5ab55c07d8b05bf4ad2", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/workingSet.jsp", "new_id": "b16e0fba9fbac4b3dff41cb5f9f1507deea1747f", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/workingSet.jsp" }, { "type": "modify", "old_id": "4df9d5f3613d0850230cb6843ddfdace5d7c93d2", "old_mode": 33188, "old_path": "org.eclipse.help.webapp/advanced/workingSetManager.jsp", "new_id": "2514d8d6951fe6b1b84c76ca06c25f4da78f56ad", "new_mode": 33188, "new_path": "org.eclipse.help.webapp/advanced/workingSetManager.jsp" } ] }