void Player::onMonsterSeparation() { contact = false; on_jump(); }
void GotoReferenceDialog::on_activate() { on_jump(); gtk_dialog_response(GTK_DIALOG(dialog), GTK_RESPONSE_OK); }