deloptes composed on 2016-12-01 22:08 (UTC+0100):
Felix Miata wrote:
b-Icon sizes (probably all bitmaps here, so sized in px) may be unaffected, but we can't be sure they are not from an already running process, so can't know whether they've been sized in px or pt (or other)
I am not sure what you mean
As shown by the two separate images of Firefox windows, the Firefox icon is obviously unchanged. It shrinks in proportion to the surrounding UI text as logical DPI increases, but remains identically sized on any given screen running any given resolution.
OTOH, the minimize, maximize and close buttons, in TDE with default theme at least, are not the same in 108 DPI sessions as in 144 DPI sessions.
XTerm isn't a TDE native app. Yet, it's UL, LL & LR icons stick with the 1680x1080 resolution, while the UR icons are as in Firefox, changing with DPI: http://fm.no-ip.com/SS/dpi108KonsoleVs108XTerm.png http://fm.no-ip.com/SS/dpi144KonsoleVs144XTerm.png
My guess is that the UL, LL & LR icons are bitmaps that are not available in multiple sizes, or if available in multiple sizes, a limited number of them, and the spread between 108 and 144 isn't enough to cause a switch.
Regarding the UR icons, it could be the only significant difference to the others is a greater selection of available sizes, while another possibility is that they are SVG images that scale nicely along with pt-sized text as logical density changes.
"If your image is 72ppi (pixels per inch), then one point will equal exactly one pixel. Point is a physical unit of length, used in typography. It's equal to 1/12 Pica, and 1 Pica = 1/6 inch. So 1 pt = 1/72 inch."
"In applications, a point is exactly 1/72 inches." http://graphicdesign.stackexchange.com/questions/199/point-vs-pixel-what-is-...
That traditional typographic definition predates the Internet by at least my 6.5 decade lifetime if not more than a century. The Internet, through modern web browsers, has usurped that definition by making the pt in a web context a logical unit rather than a physical one: https://www.w3.org/TR/css3-values/#absolute-lengths
In modern web browsers, the only time a pt fits the typographic definition is when logical and physical display density are in sync, and only if at 96 DPI.