See https://github.com/scijava/script-editor/blob/a3c9182a5447e0c6e3bbc57c0921709ce901208f/src/main/java/org/scijava/ui/swing/script/TextEditorTab.java#L469
