Merge pull request #5722 from blubberdiblub/fix-log-window-monospace-font Make "Monospaced font" in the log window actually monospaced for all platforms.
