public void setSize(int width, int height) {
		winMgr.getMainWindow().setSize(new Dimension(width, height));
	}
Sets the size of the tool's main window
@param width width in pixels
@param height height in pixels
Ghidra/Framework/Project/src/main/java/ghidra/framework/plugintool/PluginTool.java