Returns the name of the current tool.
()
| 841 | |
| 842 | /** Returns the name of the current tool. */ |
| 843 | public static String getToolName() { |
| 844 | String name = instance.getName(current); |
| 845 | if (current>=UNUSED && current<instance.getNumTools() && instance.names[current]!=null) |
| 846 | name = instance.names[current]; |
| 847 | return name!=null?name:""; |
| 848 | } |
| 849 | |
| 850 | /** Returns the name of the specified tool. */ |
| 851 | String getName(int id) { |
no test coverage detected