/usr/include/Wt/WScrollBar is in libwt-dev 3.3.0-1build1.
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_
|