wolfbeast 13b342868f Rewrite restoreDimensions to account for mismatched CSS/device pixel sizes. ...

This resolves the situation where the device pixels per css px does not match the screen DPI.
In that case, the restored width and height would be adjusted if the window width (css px)
would be larger than the screen width (dev pixels). This patch converts everything to css px
before checking if the dimensions fit the screen.

This resolves #411.

2018-05-31 18:03:14 +02:00

..

palemoon

Rewrite restoreDimensions to account for mismatched CSS/device pixel sizes.

2018-05-31 18:03:14 +02:00

xulrunner

Import XULRunner and make it produce the generic stub

2018-04-20 20:11:26 -04:00