Surface.getWidth

Returns the width of the given surface.

Surface size is reported in ”application pixels”, not ”device pixels” (see gdk.surface.Surface.getScaleFactor).