srecord noeq JTextFileEditor(File file) is Swingable { JTextArea textArea; JButton btnReload, btnSave; volatile S fileContents, savedText; FileWatchService fileWatcher; ReliableSingleThread rstLoad = rstWithPreDelay(1.0, r _load); cachedVisualize { assertNotNull(file); savedText = fileContents = loadTextFile(file); textArea = wordWrapTypeWriterTextArea(savedText); onChange(textArea, l0 updateButtons); bindToComponent(textArea, -> { fileWatcher = new FileWatchService; fileWatcher.addNonRecursiveListener(file, f -> rstLoad!); rstLoad!; }, -> { dispose fileWatcher; }); ret northAndCenterWithMargin( centerAndEastWithMargin( swing(-> JFilePathLabel(file).visualize()), jline( btnSave = disableButton(jbutton("Save", r save)), btnReload = jbutton("Reload", r reload) )), textArea ); } void updateButtons { setEnabled(btnSave, !eq(savedText, getText(textArea))); setEnabled(btnReload, !eq(fileContents, savedText)); } void save { saveTextFile(file, savedText = getText(textArea)); } void reload { savedText = fileContents; setText(textArea, savedText); } void _load { print("Loading " + file); fileContents = loadTextFile(file); updateButtons(); } }