Closed jmarolf closed 8 years ago
@Pilchie you mean add one? Isn't is only one GridSplitter in this view?
Yes, it might be nice to be able to adjust the width of the "Refinements" column too.
But I'll go ahead and merge this PR, since this is still goodness.
Maybe another one for the left/right split?