To: tsuyoshi at is.s.u-tokyo.ac.jp
Cc: lablgtk at kaba.or.jp
Subject: Re: How to get the size of a pixmap
In-Reply-To: <20010210010704N.tsuyoshi at is.s.u-tokyo.ac.jp>
References: <20010210010704N.tsuyoshi at is.s.u-tokyo.ac.jp>
Mime-Version: 1.0
Content-Type: Text/Plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <20010213113855S.garrigue at kurims.kyoto-u.ac.jp>
Date: Tue, 13 Feb 2001 11:38:55 +0900
From: Jacques Garrigue <garrigue at kurims.kyoto-u.ac.jp>
Lines: 16

> I am new to LablGTK and GTK+.  I cannot figure out how I can obtain
> the size of given pixmap.  Because the pixmap whose size I want to
> know comes from XPM file, I could read the XPM file and parse the
> header in it---but this seems not the right way.  I searched related
> information in the Web and I thought gdk_drawable_get_size would be
> what I wanted, but there is no such function as Gdk.Drawable.get_size
> in LablGTK.

Sorry, but I see no gdk_drawable_get_size. Only a gdk_window_get_size.
However, after testing, it seems that you can use gdk_window_get_size
on a pixmap also... confusing.
I will change the type accordingly. For now, you can just use
     Gdk.Window.get_size (Obj.magic pixmap)
dangerous, but better than nothing.

Jacques Garrigue