gdk:surface-width (object)

object -- a gdk:surface object
width -- an integer for the width of the surface

The accessor for the width slot returns the width of the given surface. Surface size is reported in "application pixels", not "device pixels". See the gdk:surface-scale-factor function.