Hello,
Long time user, first time contributor here.
I submitted this patch for this little bug and I am afraid that it fell in the cracks. Not sure what my best course of action is. I would appreciate your feedback.
Even though little, not being able to resize a window section is certainly a daily annoyance.
Best Halil Sen