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);
}
internal static void Validate(Gtk.Window window)
{
if (window.Data.ContainsKey(DataName))
{
var timer = (ConfigureUpdateEventTimer)window.Data[DataName];
timer.Continue = true;
}
else
{
var timer = new ConfigureUpdateEventTimer(window);
window.Data[DataName] = timer;
timer.Timer = GLib.Timeout.Add(248, timer.Tick);
}
}
