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
danomatika.com
robotcowboy.com