Version: 2013.2.612.20
I noticed a strange behavior when trying to change the column width.
Just copy and paste the code below to get the same environment.
Hold the line between columns and move the cursor to the left a little. The first column will reduce its width inappropriately. The cursor remains in the correct position.
The result can be seen in the attached files before.png and after.png.