public void Dispose() { context.UnregisterWindow (this); if (screen_destroy_window (handle) != 0) { // TODO: read errno throw new Exception ("Unable to destroy window"); } }