High DPI Window Size Discrepancy

It’s not listed, but it did change on 1.2.164. Just re-tested this code:

local function window_callback (self, event, data)
	if (event == window.WINDOW_EVENT_RESIZED) then
		print ('CALLBACK SIZE', data.width, data.height)
	end
end

function init (self)
	window.set_listener (window_callback)
end

Windows 10, html5 build. On 1.2.163 you will get a callback immediately. On 1.2.164 onwards, you will not get the initial callback, but it will get called (as expected) whenever you resize the browser manually.

I asked about it here before:

There’s window.get_size() now that ‘fixes’ that part of the problem though.