# File control/DocumentTable/DocumentTable.rb, line 238 def doc_delete @document_list.delete_at(@doc_delete_call_index) @doc_opt_list.delete_at(@doc_delete_call_index) @src.write_document_list nil end