Customize font and time formats

This release brings configuration settings to control the size and color of text, and the format of date and time information.

Before, the font size was always derived from the global system settings. Depending on the screen dimension and display resolution, the text might have shown up as too small or too large.
Now, you can enable font scaling which allows to render text larger or smaller, independent of the system settings.

Similar to the font size, the presentation of date and time information, such as the last trading time, was governed by the global system locale and time settings.
Now, you can specify custom format patterns that give you control how dates and times are displayed. The available format strings are the same as the date command uses. The settings tooltips also show some examples for starters.
And as a "quick fix", there is a switch to always show time in 24-hour notation.

The new settings are disabled by default, so check out the configuration dialog for a try-out.