/usr/include/Wt/WScrollBar is in libwt-dev 3.3.3+dfsg-4.1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 | // This may look like C code, but it's really -*- C++ -*-
/*
 * Copyright (C) 2008 Emweb bvba, Kessel-Lo, Belgium.
 *
 * See the LICENSE file for terms of use.
 */
#ifndef WSCROLLBAR_H_
#define WSCROLLBAR_H_
#include <Wt/WWidget>
namespace Wt {
class WScrollArea;
class DomElement;
/*! \class WScrollBar Wt/WScrollBar Wt/WScrollBar
 *  \brief A scrollbar attached to a scroll area.
 *
 * A WScrollArea always has two scrollbars (even if they are not visible,
 * for example when the policy is WScrollArea::ScrollBarAlwaysOff). Using the
 * tie(WScrollBar *one, WScrollBar *two) functions, it is possible to tie two
 * scrollbars together, so that they will scroll together.
 *
 * \sa WScrollArea
 */
class WT_API WScrollBar : public WObject
{
public:
  /*! \brief Returns the orientation of this scrollbar.
   */
  Orientation orientation() const { return orientation_; }
  /*! \brief Ties two scrollbars together.
   *
   * The effect of this call is that these scrollbars will keep their
   * positions synchronised.
   */
  static void tie(WScrollBar *one, WScrollBar *two);
  /*! \brief Unties two scrollbars, that were previously tied together.
   *
   * Undo a tie(WScrollBar *one, WScrollBar *two);
   *
   */
  static void unTie(WScrollBar *one, WScrollBar *two);
  /*! \brief Sets the scrollbar value (in pixels).
   *
   * This will move the scrollbar to the given value.
   */
  void setValue(int value);
private:
  WScrollBar(WScrollArea *area, Orientation orientation);
  ~WScrollBar();
  WScrollArea *scrollArea_;
  Orientation orientation_;
  std::vector<WScrollBar *> ties_;
  bool tiesChanged_;
  int value_;
  bool valueSet_;
  void updateDom(DomElement& element, bool all);
  friend class WScrollArea;
};
}
#endif // WSCROLLBAR_H_
 |