(Color c)
| 1029 | } |
| 1030 | |
| 1031 | private static void setRoiColor(Color c) { |
| 1032 | ImagePlus imp = WindowManager.getCurrentImage(); |
| 1033 | if (imp==null) return; |
| 1034 | Roi roi = imp.getRoi(); |
| 1035 | if (roi!=null && (roi.isDrawingTool())) { |
| 1036 | roi.setStrokeColor(c); |
| 1037 | imp.draw(); |
| 1038 | } |
| 1039 | } |
| 1040 | |
| 1041 | /** Returns the size of the selection brush tool, or 0 if the brush tool is not enabled. */ |
| 1042 | public static int getBrushSize() { |
no test coverage detected