[Github-comments] [geany/geany] Modify/Extend Stash Settings API (PR #3000)