gtk_window_set_destroy_with_parent (GTK_WINDOW (properties), TRUE);
gtk_dialog_set_has_separator (GTK_DIALOG (properties), FALSE);
gtk_container_set_border_width (GTK_CONTAINER (properties), 5);
gtk_window_set_destroy_with_parent (GTK_WINDOW (properties), TRUE);
gtk_dialog_set_has_separator (GTK_DIALOG (properties), FALSE);
gtk_container_set_border_width (GTK_CONTAINER (properties), 5);