Yes, I think so. We didn't really get too far with the feedback before the PR was merged.
On Jul 3, 2017, at 12:28 AM, Miller Puckette msp@ucsd.edu wrote:
Meanwhile... should I just revert to the older ones?
cheers M On Mon, Jul 03, 2017 at 12:24:36AM +0200, Dan Wilcox wrote:
The extended icon is better quality but still lower on retina screens. I'd be up for using it if we could get the original vector graphics file for it and generate newer PNGs & ICNS files.
On Jul 3, 2017, at 12:22 AM, Alexandre Torres Porres porres@gmail.com wrote:
And the extended one has a better quality, how about just adapting from the extended icon with minor changes?
Dan Wilcox @danomatika http://twitter.com/danomatika danomatika.com http://danomatika.com/ robotcowboy.com http://robotcowboy.com/
Pd-dev mailing list Pd-dev@lists.iem.at https://lists.puredata.info/listinfo/pd-dev
-------- Dan Wilcox @danomatika http://twitter.com/danomatika danomatika.com http://danomatika.com/ robotcowboy.com http://robotcowboy.com/