(int tool)
| 934 | } |
| 935 | |
| 936 | boolean isValidTool(int tool) { |
| 937 | if (tool<0 || tool>=getNumTools()) |
| 938 | return false; |
| 939 | if (tool>=CUSTOM1 && tool<getNumTools() && names[tool]==null) |
| 940 | return false; |
| 941 | return true; |
| 942 | } |
| 943 | |
| 944 | /** |
| 945 | * @deprecated |
no test coverage detected