But the phrasing of your answer makes me curious: Is this additional UI added automatically, that is, is there no further programming needed?

The UI isn't totally automatic no: the patch alters the UI definition to add the new UI (I did that with a UI tool, Glade). The connection to the UI is pretty much automatic though, it's only the 5th argument to stash_group_add_spin_button_integer().

[…] for me it would be absolutely sufficient to edit a configuration file.

Well, yeah it's okay-ish for power users that know how to edit the configuration and which key to set to what, but if it's something meant to be used it's better to have UI for it.
It's also fairly easy to add the UI, so unless other people think it's a bad idea to make it visible and easy to use, I think UI is better.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.