Remove unused cylinders from dropdown

[Adolph Weidanz]

Thank you.

On Fri, Dec 11, 2020 at 10:44 AM Berthold Stoeger
<bstoeger at mail.tuwien.ac.at> wrote:
>
> Hi Adolph,
>
> On Freitag, 11. Dezember 2020 15:08:47 CET Adolph Weidanz via subsurface
> wrote:
> > Is there a way to remove the unused cylinders from the dropdown? There
> > are a lot of them there and I will never use most of them and these
> > old eyes have a time trying to discern which is which.
>
> Sadly, as far as I can tell, the list is generated statically on application
> startup. I reckon that this should be optional. I'll try to come up with
> something over the weekend. Please remind me, should I forget.
>
> Berthold
>
>