Method addJarErrorHeading

ij/src/main/java/ij/Menus.java:897–904

(String jar)

    }
    
    void addJarErrorHeading(String jar) {
        if (!isJarErrorHeading) {
                if (!jarError.equals(""))
                    jarError += " \n";
                jarError += "Plugin configuration error: " + jar + "\n";
                isJarErrorHeading = true;
            }
    }

	/** Returns the specified ImageJ menu (e.g., "File>New") or null if it is not found. */
	public static Menu getImageJMenu(String menuPath) {