OpenStructure
gutter.hh
Go to the documentation of this file.
1 //------------------------------------------------------------------------------
2 // This file is part of the OpenStructure project <www.openstructure.org>
3 //
4 // Copyright (C) 2008-2020 by the OpenStructure authors
5 //
6 // This library is free software; you can redistribute it and/or modify it under
7 // the terms of the GNU Lesser General Public License as published by the Free
8 // Software Foundation; either version 3.0 of the License, or (at your option)
9 // any later version.
10 // This library is distributed in the hope that it will be useful, but WITHOUT
11 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
12 // FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
13 // details.
14 //
15 // You should have received a copy of the GNU Lesser General Public License
16 // along with this library; if not, write to the Free Software Foundation, Inc.,
17 // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
18 //------------------------------------------------------------------------------
19 #ifndef GUTTER_HH
20 #define GUTTER_HH
21 
22 /*
23  Authors: Marco Biasini, Andreas Schenk
24  */
25 
26 #include <ost/gui/module_config.hh>
27 #include <QWidget>
28 
29 
30 namespace ost { namespace gui {
31 
32 //fw decl
33 class PythonShellWidget;
34 
35 class Gutter : public QWidget
36 {
37  Q_OBJECT
38 public:
39  const static int GUTTER_WIDTH=10;
41  QSize sizeHint() const;
42 
43 public slots:
44  void Update(QRect, int);
45 
46 protected:
47  virtual void paintEvent(QPaintEvent* paint_event);
48 };
49 
50 }}//ns
51 
52 #endif
static const int GUTTER_WIDTH
Definition: gutter.hh:39
Gutter(PythonShellWidget *shell)
void Update(QRect, int)
QSize sizeHint() const
virtual void paintEvent(QPaintEvent *paint_event)
Definition: base.dox:1