annotate public/javascripts/repository.js @ 1458:b1f4c9a2af24 bug_794

Makes the default radio button checked by default -- this should fix bug #794.

function toggle_ext_url() {
    if (document.getElementById('repository_is_external').checked) {
        document.getElementById('repository_external_url').disabled = false;
    } else {
	document.getElementById('repository_external_url').disabled = true;
    }
}