included workaround for gWidget2RGtk2 bug regarding slider