Returns the current width of the column containing properties (right column).
The column width can be changed by user when she drags the splitter.
