@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, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany/pull/3919/review/2149638228@github.com>