diff options
| author | Marius Ungureanu <teromario@yahoo.com> | 2016-03-22 17:21:28 +0300 |
|---|---|---|
| committer | Marius Ungureanu <teromario@yahoo.com> | 2016-03-22 17:21:28 +0300 |
| commit | 1ed8bea8a09b45adcebc20d7ac254883c5a4c318 (patch) | |
| tree | 204f42cf5ddd0970add9464c0f8d4aece701f603 /main/configure.in | |
| parent | a8c8a00ac2640e60a485ea9bbd8f4ad4734f91cc (diff) | |
[Ide] Replace as-cast with direct cast
This forces an exception, not a silent failure when trying to hook this on a different kind of Window.
The API entry point is Gtk.Window only, so this is only a safe-guard against ourselves.
Diffstat (limited to 'main/configure.in')
0 files changed, 0 insertions, 0 deletions