00001 //------------------------------------------------------------------------------ 00002 // This file is part of the OpenStructure project <www.openstructure.org> 00003 // 00004 // Copyright (C) 2008-2011 by the OpenStructure authors 00005 // 00006 // This library is free software; you can redistribute it and/or modify it under 00007 // the terms of the GNU Lesser General Public License as published by the Free 00008 // Software Foundation; either version 3.0 of the License, or (at your option) 00009 // any later version. 00010 // This library is distributed in the hope that it will be useful, but WITHOUT 00011 // ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS 00012 // FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more 00013 // details. 00014 // 00015 // You should have received a copy of the GNU Lesser General Public License 00016 // along with this library; if not, write to the Free Software Foundation, Inc., 00017 // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA 00018 //------------------------------------------------------------------------------ 00019 #ifndef GUTTER_HH 00020 #define GUTTER_HH 00021 00022 /* 00023 Authors: Marco Biasini, Andreas Schenk 00024 */ 00025 00026 #include <ost/gui/module_config.hh> 00027 #include <QWidget> 00028 00029 00030 namespace ost { namespace gui { 00031 00032 //fw decl 00033 class PythonShellWidget; 00034 00035 class Gutter : public QWidget 00036 { 00037 Q_OBJECT 00038 public: 00039 const static int GUTTER_WIDTH=10; 00040 Gutter(PythonShellWidget* shell); 00041 QSize sizeHint() const; 00042 00043 public slots: 00044 void Update(QRect, int); 00045 00046 protected: 00047 virtual void paintEvent(QPaintEvent* paint_event); 00048 }; 00049 00050 }}//ns 00051 00052 #endif