I don't think so, but I am not familiar with the plugin your refer to. Instead create a file, also in the conf directory, named
userscript.js and include this code:
jQuery( document ).ready(function() {
jQuery( "#minoredit" ).attr("disabled",true);
});
It will disable the checkbox, but not hide it.