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