Feature request: some suggestions for a media library plugin

[KOT040188]

I'm very glad that deadbeef has a media library, I've been testing it for a while.

1. I don’t like the size of the covers in the library, they are very small and I can’t see the cover. I suggest adding a cover size setting. For example, in a playlist I can increase the size of the cover by increasing the width of the corresponding column, but in a library this is not possible.
2. I tested some other players and in them you can add tracks/albums/artists from the library to the playlist in one touch, no need to double-click. To do this, a button to add to the playlist pops up next to each item in the library. This is very convenient for me, I don’t really like double clicks and would like to see this in deadbeef.

[br4qua]

regarding covers, might be worth noting that for performance reasons (particular on weaker machines), an option to disabling covers in media libary's view could significantlly reduce rendering time / lag. In my experience, the widget becomes very unreponsive when libary is large.