private static void HandleConfigureEvent(object o, Gtk.ConfigureEventArgs args)
{
// HACK Haven't found another way to get both position and size update information to
// try to retain the 'restored' window size, so we do this hacky thing. The hacky thing
// is more extensively documented in the ConfigureUpdateEventTimer class.
var window = o as Gtk.Window;
ConfigureUpdateEventTimer.Validate(window);
}
void HandleConfigureEvent(object o, Gtk.ConfigureEventArgs args)
{
currentLocation = new Point(args.Event.X, args.Event.Y);
if (Control.IsRealized && Widget.Loaded && oldLocation != currentLocation)
{
Widget.OnLocationChanged(EventArgs.Empty);
oldLocation = currentLocation;
}
currentLocation = null;
}
public void HandleConfigureEvent(object o, Gtk.ConfigureEventArgs args)
{
var handler = Handler;
handler.currentLocation = new Point(args.Event.X, args.Event.Y);
if (handler.Control.IsRealized && handler.Widget.Loaded && oldLocation != handler.currentLocation)
{
handler.Callback.OnLocationChanged(handler.Widget, EventArgs.Empty);
oldLocation = handler.currentLocation;
}
handler.currentLocation = null;
}
void OnConfigureEvent(object o, Gtk.ConfigureEventArgs args)
{
var evnt = args.Event;
args.RetVal = true;
var newSize = new Size(evnt.Width, evnt.Height);
if (newSize != _lastClientSize)
{
Resized(newSize);
_lastClientSize = newSize;
}
}
public void HandleConfigureEvent(object o, Gtk.ConfigureEventArgs args)
{
var handler = Handler;
if (handler == null)
{
return;
}
handler.currentLocation = new Point(args.Event.X, args.Event.Y);
if (handler.Control.IsRealized && handler.Widget.Loaded && oldLocation != handler.currentLocation)
{
handler.Callback.OnLocationChanged(handler.Widget, EventArgs.Empty);
if (handler.WindowState == WindowState.Normal)
{
handler.restoreBounds = handler.Widget.Bounds;
}
oldLocation = handler.currentLocation;
}
handler.currentLocation = null;
}
void OnConfigureEvent(object o, Gtk.ConfigureEventArgs args)
{
var evnt = args.Event;
args.RetVal = true;
var newSize = new Size(evnt.Width, evnt.Height);
if (newSize != _lastClientSize)
{
Resized(newSize);
_lastClientSize = newSize;
}
var newPosition = new Point(evnt.X, evnt.Y);
if (newPosition != _lastPosition)
{
PositionChanged(newPosition);
_lastPosition = newPosition;
}
}
void HandleConfigureEvent(object o, Gtk.ConfigureEventArgs args)
{
ApplicationContext.InvokeUserCode(delegate {
EventSink.OnBoundsChanged(Bounds);
});
}
void HandleConfigureEvent(object o, Gtk.ConfigureEventArgs args)
{
controller.HandleEvent(args.Event);
}
