On Mar 14, 2024, at 12:00 PM, pd-dev-request@lists.iem.at wrote:

Date: Wed, 13 Mar 2024 13:10:19 +0100
From: Christof Ressi <info@christofressi.com>
To: pd-dev@lists.iem.at
Subject: Re: [PD-dev] release April?
Message-ID: <f8bc28fd-f54c-4814-828b-686aa2fbfd6d@christofressi.com>
Content-Type: text/plain; charset="utf-8"; Format="flowed"

I strongly endorse both PRs :)

Fractional zoom levels would be a game changer! The current integer zoom 
levels are pretty much useless in practice because typical scaling 
factors are more like 125% or 150%.

A knob is such a basic UI element for audio applications. I really think 
this should be part of Pd vanilla and not require some external. It 
isn't (only) about aesthetics; knobs have clear advantages over sliders 
in many situations as they allow to map the same range into a much 
smaller space. Just think about a simple mixer strip!

Christof