Made it impossible to request a file several time in a row by double clicking

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