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

Reply via email to