317
317
// Reset the last saved content
318
318
last_saved_content = null;
323
323
File.new_for_path (current_file).delete ();
325
325
message ("Temporary file cannot be deleted: %s", current_file);
328
332
// Change syntax highlight
329
333
this.source_view.change_syntax_highlight_from_file (this.file);