Confirmed fixed as of 0.15~ppa released today. Everything appears to be original sizes again, hoorah!
Thank you for the fix, and thanks for the info; I was entirely ignorant to the fact that different engines could be used to draw themes. :)
Confirmed fixed as of 0.15~ppa released today. Everything appears to be original sizes again, hoorah!
Thank you for the fix, and thanks for the info; I was entirely ignorant to the fact that different engines could be used to draw themes. :)