if (OS.GTK_VERSION >= OS.VERSION (2, 4, 0)) { return super.setBounds (x, y, width, height, move, resize); }
int setBounds (int x, int y, int width, int height, boolean move, boolean resize) {	int newHeight = resize ? getTextHeight () : height;	return super.setBounds (x, y, width, newHeight, move, resize);}