Merge pull request #1172 from aj-m/fix-editorstatus-clear

Properly clear EditorStatus.message with empty()
This commit is contained in:
Stef Tervelde
2025-07-11 12:54:20 +02:00
committed by GitHub

View File

@@ -2665,7 +2665,7 @@ public abstract class Editor extends JFrame implements RunnerListener {
* Clear the status area.
*/
public void statusEmpty() {
statusNotice(EMPTY);
status.empty();
}