(see also other colorbox'es in another panes - the same)
-- Regards, Alexey -- _______________________________________________ lazarus mailing list lazarus@lists.lazarus-ide.org https://lists.lazarus-ide.org/listinfo/lazarus
In /Environment - Messages Window/ pane of options dialog, we have 2
colorbox'es. They have same height on Linux gtk2. On Win10 with High-dpi
150%, they have different height (by 4..6 pixels). Maybe some AutoSize
is not set?
