WebPositive settings - allow larger font sizes (easy)

[smallstepforman]

The largest font size configurable through WebPositive Font settings is 18. For Hi-DPI monitors, that maximum is generally too small. Instead of a BOptionPopUp, maybe a Spinner is the preferred interface (to match System Fonts preference).

However, at this point in time I'd also be happy if font sizes up to 32 were to be added to the popup.

[waddlesplash]

Done in hrev52824.

[smallstepforman]

A new regression - the settings are not applied :) Rev: 52824 Adjust spinner values to a higher value (eg. 24). The Font settings menu happily accepts the changes. However, none of the browser pages will actually use the new font settings. In the previous version (before this commit), the browser would actually use the new font settings (up to a maximum of 18).

[waddlesplash]

There was a WebKit upgrade yesterday unrelated to my change to WebPositive. Testing locally on a machine with my patch but without the WebKit upgrade shows that the spinners work just fine; so it must be a regression in the new WebKit. Please open a separate ticket.

[waddlesplash]

Just retested with WebKit 1.6.8 and it still works fine. So, I don't know what's going on for you then.

[smallstepforman]

Screenshot

[smallstepforman]

Augustin, you need to open a new TAB which will use the new font size. If you use the current tab, then it uses whatever session settings are active. Take a look at the new attachment (screenshot1.jpg), which shows a much smaller default font size, even though I've requested 20 pixel font.

[waddlesplash]

Yes, it seems there's some problem with how we handle fonts; but that's not this ticket's problem, my change works as intended. I just retested with the older build and it worked fine. So, please open a new ticket as this is a different regression.

[nielx]

Assign tickets with status=closed and resolution=fixed within the R1/beta2 development window to the R1/beta2 Milestone