@b4n requested changes on this pull request. I don't think that following the plugin activation order makes much sense, OK it allows you to trick this, but it would feel pretty random to me (and applies to the prefs and other things as well).
If this is a real issue, maybe there could be a real way of acting on this, either by sorting the tabs themselves to user prefs, or by having the plugins try to order their tabs another way -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/3919#pullrequestreview-2149638228 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/3919/review/2149638...@github.com>
