I think there is a bug in the set default source editor option: when you toggle it on it works correctly but when you toggle it off it doesnt restore the former view source editor so right clickview source option in explorer stops working.
Best regards,
Oleg Chernavin
MP Staff