{
   onDispose(
       (d) -> {
         saveOrDiscardIfNeeded();
         validator.dispose();
         document.dispose();
         editorInput.dispose();
         fileLabel.dispose();
         selectedFile.dispose();
       });
 }
 {
   onDispose(
       (d) -> {
         validator.dispose();
       });
 }