Method dividerWidth

src/model/WindowPropertyFrameAndDivider.cpp:136–140

    }

    double WindowPropertyFrameAndDivider_Impl::dividerWidth() const {
      boost::optional<double> value = getDouble(OS_WindowProperty_FrameAndDividerFields::DividerWidth, true);
      OS_ASSERT(value);
      return value.get();
    }

    bool WindowPropertyFrameAndDivider_Impl::isDividerWidthDefaulted() const {
      return isEmpty(OS_WindowProperty_FrameAndDividerFields::DividerWidth);