1. 2022-07-31 [2] [ jEdit-users ] Any way to close files that no longer exis jedit-users Marcelo Vanzin