Remove deprecated control property

912bebeb019d05a6f69a8bf4599ff69a6f18b4ff

Cohee <18619528+Cohee1207@users.noreply.github.com>

Parents: 2f7d694f5429fd95e342bd0825e96eee1cc66170
1 files changed, +0 -1Showing whitespace changes
public/scripts/instruct-mode.js+0 -1
@@ -34,7 +34,6 @@ const controls = [
3434 { id: 'instruct_last_system_sequence', property: 'last_system_sequence', isCheckbox: false },
3535 { id: 'instruct_user_alignment_message', property: 'user_alignment_message', isCheckbox: false },
3636 { id: 'instruct_stop_sequence', property: 'stop_sequence', isCheckbox: false },
37- { id: 'instruct_names', property: 'names', isCheckbox: true },
3837 { id: 'instruct_first_output_sequence', property: 'first_output_sequence', isCheckbox: false },
3938 { id: 'instruct_last_output_sequence', property: 'last_output_sequence', isCheckbox: false },
4039 { id: 'instruct_first_input_sequence', property: 'first_input_sequence', isCheckbox: false },