149eaf Do not allow changing the default plugin via the UI

Authored and Committed by Pierre-Yves Chibon 9 years ago
    Do not allow changing the default plugin via the UI
    
        
file modified
+3 -0