gdk:surface-width (object)

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

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