> In the future, though, I would concentrate on just getting a minimal working > version merged, then touch it up later in small, traceable iterations. To > paraphrase [the famous saying of > Valéry](https://quoteinvestigator.com/2019/03/01/abandon), a pull request is > never finished; it's abandoned.
Understood. What it currently on this branch is the "minimal working version". There is one more feature I want to add (user defined colors via preferences menu/config file). I'm working on this now, hopefully to be finished this week. I'll keep that on a different commit > Wise(ish) words, and its corollary, 'Every time a PR changes "somebody" has > to re-check it and re-test it, and eventually "somebody" gets bored' :-) I'm fine being that "somebody" haha I've had fun writing this plugin. Do new plugin PRs getting pulled in on the next geany-plugins release? -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/pull/1221#issuecomment-1513502773 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany-plugins/pull/1221/[email protected]>
