gutter.hh

Go to the documentation of this file.

//------------------------------------------------------------------------------
// This file is part of the OpenStructure project <www.openstructure.org>
//
// Copyright (C) 2008-2020 by the OpenStructure authors
//
// This library is free software; you can redistribute it and/or modify it under
// the terms of the GNU Lesser General Public License as published by the Free
// Software Foundation; either version 3.0 of the License, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful, but WITHOUT
// ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
// FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more
// details.
//
// You should have received a copy of the GNU Lesser General Public License
// along with this library; if not, write to the Free Software Foundation, Inc.,
// 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
//------------------------------------------------------------------------------
#ifndef GUTTER_HH
#define GUTTER_HH
 
/*
  Authors: Marco Biasini, Andreas Schenk
 */
 
#include <ost/gui/module_config.hh>
#include <QWidget>
 
 
namespace ost { namespace gui {
 
//fw decl
class PythonShellWidget;
  
class Gutter : public QWidget
{
  Q_OBJECT
public:
  const static int GUTTER_WIDTH=10;
  Gutter(PythonShellWidget* shell);
  QSize sizeHint() const;
 
public slots:
  void Update(QRect, int);
 
protected:
  virtual void paintEvent(QPaintEvent* paint_event);
};
 
}}//ns
 
#endif