()
| 2942 | } |
| 2943 | |
| 2944 | double isOpen() { |
| 2945 | interp.getLeftParen(); |
| 2946 | if (isStringArg()) { |
| 2947 | String title = getString(); |
| 2948 | interp.getRightParen(); |
| 2949 | return isOpen(title)?1.0:0.0; |
| 2950 | } else { |
| 2951 | int id = (int)interp.getExpression(); |
| 2952 | interp.getRightParen(); |
| 2953 | return WindowManager.getImage(id)==null?0.0:1.0; |
| 2954 | } |
| 2955 | } |
| 2956 | |
| 2957 | boolean isOpen(String title) { |
| 2958 | boolean open = WindowManager.getWindow(title)!=null; |