()
| 440 | } |
| 441 | |
| 442 | public static String getPluginsDirProperty() { |
| 443 | if (pluginsDirProperty==null) { |
| 444 | String ijDir = System.getProperty("plugins.dir"); |
| 445 | if (ijDir!=null) { |
| 446 | if (ijDir.endsWith("/")||ijDir.endsWith("\\")) |
| 447 | ijDir = ijDir.substring(0, ijDir.length()-1); |
| 448 | if (ijDir.endsWith("/plugins")||ijDir.endsWith("\\plugins")) |
| 449 | ijDir = ijDir.substring(0, ijDir.length()-8); |
| 450 | pluginsDirProperty = ijDir; |
| 451 | } else |
| 452 | pluginsDirProperty = ""; |
| 453 | } |
| 454 | return pluginsDirProperty.length()>0?pluginsDirProperty:null; |
| 455 | } |
| 456 | |
| 457 | /** Returns the path to the directory where the |
| 458 | preferences file (IJPrefs.txt) is saved. */ |
no test coverage detected