Had a first look at the documentation, will comment in detail soon where needed, but one point that has become apparent is that it would be nice to have some overview to introduce the concept of extensions, what they are (plugins) what is special that makes them "extensions" (replace Geany functionality, not add functionality, hmmm, the name "extension" really overlaps "add", but c'est la vie). Otherwise jumping into details is likely to raise questions about what? why? where? who? when? etc.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3849#issuecomment-2172500019 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3849/[email protected]>
