diff --git a/src/gui-resource.c b/src/gui-resource.c index 0110e901088765b27030ed11e0a74820744116a1..5d0af39e38d77a948d20c86cea9692fed01a438d 100644 --- a/src/gui-resource.c +++ b/src/gui-resource.c @@ -88,6 +88,10 @@ open_folder_cb (gpointer ptr, gpointer data) void activated_cb (GtkListBox* unused, GuiResource *self) { + // no need to save if we were sensitive: if it wasn't the case, + // then this function wouldn't be called. + gtk_list_box_row_set_activatable (GTK_LIST_BOX_ROW (self), FALSE); + switch (self->type) { case RESOURCE_ASSIGNMENT: // just open it in the web browser @@ -136,6 +140,8 @@ activated_cb (GtkListBox* unused, GuiResource *self) //g_warning ("Ressource type %i isn't supported\n", self->type); break; } + + gtk_list_box_row_set_activatable (GTK_LIST_BOX_ROW (self), TRUE); } static void