()
| 2933 | } |
| 2934 | |
| 2935 | double isActive() { |
| 2936 | int id = (int)getArg(); |
| 2937 | ImagePlus imp = WindowManager.getCurrentImage(); |
| 2938 | if (imp==null || imp.getID()!=id) |
| 2939 | return 0.0; //false |
| 2940 | else |
| 2941 | return 1.0; //true |
| 2942 | } |
| 2943 | |
| 2944 | double isOpen() { |
| 2945 | interp.getLeftParen(); |
no test coverage detected