Right, that's a known upstream issue: http://bugzilla.gnome.org/show_bug.cgi?id=138058
BTW you can use shift-del to delete without using the trash.
Right, that's a known upstream issue: bugzilla. gnome.org/ show_bug. cgi?id= 138058
http://
BTW you can use shift-del to delete without using the trash.