Method frameWidth

src/model/WindowPropertyFrameAndDivider.cpp:45–49

    }

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

    bool WindowPropertyFrameAndDivider_Impl::isFrameWidthDefaulted() const {
      return isEmpty(OS_WindowProperty_FrameAndDividerFields::FrameWidth);