Ok thanks for trying that.
The problem seems to be in DockPreferences.cs lines 634--637, where we (for some reason) enable every single plugin. Then later the unused ones will be disabled. This code seems wrong and is causing your problem.
Ok thanks for trying that.
The problem seems to be in DockPreferences.cs lines 634--637, where we (for some reason) enable every single plugin. Then later the unused ones will be disabled. This code seems wrong and is causing your problem.