On 08.07.2017 21:26, FTurtle via Lazarus wrote:
What are parameters for high-DPI versions of gutter icons?
I am not sure there is high-DPI support for gutter icons yet. I have to check. But the parameters/file names have to be the same (*_150, *_200).
Ondrej -- _______________________________________________ Lazarus mailing list Lazarus@lists.lazarus-ide.org https://lists.lazarus-ide.org/listinfo/lazarus
