Reinstate getters for default border width and window gap