Method equals

src/main/java/org/fife/rtext/plugins/tools/Tool.java:179–182

Returns whether this tool and another have the same name. @return Whether this tool and another have the same name.

(Object o)

	 * @return Whether this tool and another have the same name.
	 */
	@Override
	public boolean equals(Object o) {
		return o instanceof Tool other && compareTo(other)==0;
	}


	/**