public Dimension getSize() {
		return winMgr.getMainWindow().getSize();
	}
Return the dimension of this tool's frame.
@return dimension of this tool's frame
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginTool.java