Gray out plugins that should not be selected
When a user has a remote connection she sometimes needs to start a client/server plugin, found in Tools/ Manage Plugins. The natural thing to do is click the plugin from the right list, then the left list. Please invert these two lists so the Local Plugins (the ones you select first) are on the right. Then, please gray out the server side plugins with a matching local plugin until the local plugin is selected. Either solution is acceptable alone, but I would prefer both solutions.