Bug fix: resize the viewport internally (when attached to a layout)

* It also has a fix for scrollbars resize, and an optimization to avoid
  scrollbar adjustment overhead.

1 files changed, 0 insertions, 6 deletions

diff --git a/dw/view.hh b/dw/view.hh
index 308e5e31..f2504091 100644
--- a/dw/view.hh
+++ b/dw/view.hh
@@ -92,12 +92,6 @@ public:
     * This will normally imply a resize of the UI widget. Width and height are
     * the dimensions of the new size, \em including the scrollbar thicknesses.
     *
-    * \bug The rest of this comment needs to be updated.
-    *
-    * markerWidthDiff and markerHeightDiff are the respective dimensions of
-    * the viewport markers (see dw::core::getMarkerWidthDiff and
-    * dw::core::getMarkerHeightDiff), if they are 0, the respective
-    * marker should not be shown at all.
     */
    virtual void setViewportSize (int width, int height,
                                  int hScrollbarThickness,