Adds a key-value pair to IJ.properties. The key and value are removed if 'value' is null.
(String key, Object value)
| 2660 | * and value are removed if 'value' is null. |
| 2661 | */ |
| 2662 | public static void setProperty(String key, Object value) { |
| 2663 | if (properties==null) |
| 2664 | properties = new Properties(); |
| 2665 | if (value==null) |
| 2666 | properties.remove(key); |
| 2667 | else |
| 2668 | properties.put(key, value); |
| 2669 | } |
| 2670 | |
| 2671 | /** Returns the object in IJ.properties associated |
| 2672 | * with 'key', or null if 'key' is not found. |