[PD-dev] [pure-data:bugs] #1176 pmenu may eat 100% cpu (OSX)