(String header)
| 823 | } |
| 824 | |
| 825 | @AstroImageJ(reason = "Auto generate plugins list while still defining extra plugins") |
| 826 | private boolean readExtraPlugins(String header) { |
| 827 | if (header.startsWith("#")) { |
| 828 | header = header.substring(1).trim(); |
| 829 | return "AIJ-PLUGINS-EXT".equals(header); |
| 830 | } |
| 831 | |
| 832 | return false; |
| 833 | } |
| 834 | |
| 835 | /** Install a plugin located in a JAR file. */ |
| 836 | void installJarPlugin(String jar, String s) { |
no test coverage detected