Called once when ImageJ quits.
(Properties prefs)
| 927 | |
| 928 | /** Called once when ImageJ quits. */ |
| 929 | public static void savePreferences(Properties prefs) { |
| 930 | double min = ProfilePlot.getFixedMin(); |
| 931 | double max = ProfilePlot.getFixedMax(); |
| 932 | prefs.put(PREFS_WIDTH, Integer.toString(plotWidth)); |
| 933 | prefs.put(PREFS_HEIGHT, Integer.toString(plotHeight)); |
| 934 | prefs.put(PREFS_FONT_SIZE, Integer.toString(defaultFontSize)); |
| 935 | int options = 0; |
| 936 | if (!interpolate) options |= INTERPOLATE; // true=0, false=1 |
| 937 | prefs.put(OPTIONS, Integer.toString(options)); |
| 938 | } |
| 939 | |
| 940 | /** Enables or disables live plotting. |
| 941 | * Does nothing if the plot has no PlotMaker (then there is no 'live' button). */ |
no test coverage detected