Aidan Epstein

Not entirely sure, I usually try to avoid case insensitive filesystems. I did find these two issues, though: - https://github.com/beetbox/beets/issues/1496 - https://github.com/beetbox/beets/pull/1586 The second one uses `beets.util.is_filesystem_case_sensitive` which might work.

Thanks for the quick response! Yeah, sorry, I wasn't entirely sure what all to include in the report. Versions of packages: beets-git 1.4.9.r1031.gcbc045f1-1 beets-alternatives 0.10.1-1.1 I noticed that I wasn't...

Thanks, but I don't think it's that, I haven't removed items from my library in a long time.

Sorry about that, that's the one part of this part that I'm least proud of. I have no idea how to do UI design :) 

What do you think of this? Too subtle? (I couldn't figure out how to get a Gtk.Separator to work, but it turns out I need hexpand=true.) 

OK, copied the code more or less from the DateSeparatorWidget:  Edit: dimmed it a bit to match the date: 

And here's a full-width version: 

I've been using this version as my daily driver for a while and it seems to be working fine. Anything else I'd need to do for it to be merged?

Thanks for the feedback! A couple questions: Could you clarify what you mean about backgrounding dino? I've removed most of the padding I intentionally added, but it seems there's still...

Ah, OK. Is there inprogress code anywhere with the new code so I can try porting my PR? Or is this something you're already looking at implementing?