af16cd804c
Tiny tweak. Dragging option (cursor change) for region dividers in editors was having an un-even sensitivity hotspot. This conflicted with header buttons for example, where the hotspot and bottons overlapped. Now the hotspot is around the region-edge evenly.