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](/geany/geany/pull/1154/files#diff-f9ff4afa371beea3ec6d322f3655fa7a) 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()`](https://github.com/geany/geany/pull/1154/files#diff-f9ff4afa371beea3ec6d322f...).
[…] 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 or view it on GitHub: https://github.com/geany/geany/pull/1154#issuecomment-236297898