Freezes the active plot window, so the image does not get redrawn for zooming, setting the range, etc.
()
| 1067 | /** Freezes the active plot window, so the image does not get redrawn for zooming, |
| 1068 | * setting the range, etc. */ |
| 1069 | public static void freeze() { |
| 1070 | Window win = WindowManager.getActiveWindow(); |
| 1071 | if (win!=null && (win instanceof PlotWindow)) |
| 1072 | ((PlotWindow)win).getPlot().setFrozen(true); |
| 1073 | } |
| 1074 | |
| 1075 | public static void setDefaultFontSize(int size) { |
| 1076 | if (size < 9) size = 9; |
nothing calls this directly
no test coverage detected