It looks like blender customization wasn’t really popular around here. Ah well I guess it’s just a bug, I’m done searching for a way to make it work. I guess just replace it all togather with a right click to call a screen.area_options will do the job done, even though not as smooth as click and drag the corner.