Branch: refs/heads/main Home: https://github.com/openjump-gis/openjump Commit: 68992496fc7f32d0aea5ee857fef70abad0f8328 https://github.com/openjump-gis/openjump/commit/68992496fc7f32d0aea5ee857fef70abad0f8328 Author: ede <edgar.sol...@web.de> Date: 2022-08-23 (Tue, 23 Aug 2022)
Changed paths: M src/com/vividsolutions/jump/workbench/ui/WorkbenchFrame.java Log Message: ----------- minor fix to prevent NPEs _______________________________________________ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel