This is very nice! It's a bit of a return to the "original" pull list format, I think.
It's fantastic to be able to reorder the columns, re-size them, etc. This is a great improvement. I vote for merging to master.
One little bug, however, is that I found mousing over the column ends in an attempt to resize them, the pointer remained as the "important" pointer, instead of changing to the arrows you'd expect. Just a visual cue I think people would find helpful, if it's possible to fix.
Lebeous,
This is very nice! It's a bit of a return to the "original" pull list format, I think.
It's fantastic to be able to reorder the columns, re-size them, etc. This is a great improvement. I vote for merging to master.
One little bug, however, is that I found mousing over the column ends in an attempt to resize them, the pointer remained as the "important" pointer, instead of changing to the arrows you'd expect. Just a visual cue I think people would find helpful, if it's possible to fix.
Thank you, for a great new feature!
-Mike