Nicolas George <nicolas.george <at> normalesup.org> writes: > The list is sorted first by type (video first) It used to be only sorted by name, do you think that was a bad idea? Thank you for the patch, Carl Eugen