I'd like to add a few pixels of padding between the Editors to make it easier to resize them. I believe there is a 3 pixel range to get the "double arrow cursor" for resizing. Apparently I am not coordinated enough to consistently place my cursor with that kind of precision. Is there any way to increase these margins through scripting, perhaps by modifying an existing script in the directory? Obviously this is doable on some level, but aside from getting into the source code or too deep into the data structure, is this a reasonable task for a novice programmer to accomplish?
There's not a way to do this without diving pretty deeply into the source :-/ It'd certainly be nice to make the borders wider, but we don't have that kind of access to the UI with Python.