lib/guide/guideuischeme.h

   1 /****************************************************************************
   2 ** Form interface generated from reading ui file 'guideuischeme.ui'
   3 **
   4 ** Created: lun avr 19 20:53:44 2004
   5 **      by: The User Interface Compiler ($Id: qt/main.cpp   3.3.0b1   edited Nov 24 13:47 $)
   6 **
   7 ** WARNING! All changes made in this file will be lost!
   8 ****************************************************************************/
   9
  10 #ifndef GUIDEUISCHEME_H
  11 #define GUIDEUISCHEME_H
  12
  13 #include <qvariant.h>
  14 #include <qpixmap.h>
  15 #include <qwidget.h>
  16
  17 #define ___VERSION 40063
  18 #include "gambit.h"
  19
  20 class QVBoxLayout;
  21 class QHBoxLayout;
  22 class QGridLayout;
  23 class QSpacerItem;
  24 class GuideUiRepl;
  25 class GuideUiCont;
  26 class GuideUiEnv;
  27 class GuideUiMainWindow;
  28 class QSplitter;
  29 class GuidePi;
  30 class GuideUiHighlighter;
  31
  32 #include "qpushbutton.h"
  33
  34 class GuideUiScheme : public QWidget
  35 {
  36     Q_OBJECT
  37
  38 public:
  39         GuideUiScheme(GuideUiMainWindow* main_window, QString title);
  40     ~GuideUiScheme();
  41
  42     QSplitter* splitter9;
  43     GuideUiRepl* repl;
  44     QPushButton* btnStep;
  45     QPushButton* btnLeap;
  46     QPushButton* btnCont;
  47     QSplitter* splitter7;
  48         QWidget* contenv;
  49     GuideUiCont* cont;
  50     GuideUiEnv* env;
  51         ___SCMOBJ scmobj;
  52         GuideUiMainWindow* mainWindow;
  53
  54         int get_nb_typed_lines();
  55         void setWordWrap(int wordWrap);
  56         GuideUiHighlighter* getHighlighter();
  57
  58 public slots:
  59     virtual void rehighlight();
  60     virtual void print_text( QString text );
  61     virtual void typed_text( QString text );
  62     virtual void typed_eof();
  63     virtual void continuation_set_highlight( int row );
  64     virtual void continuation_set_cell( int row, int col, QString text );
  65     virtual void continuation_set_length( int nb_rows );
  66         virtual void continuation_row_changed( int row );
  67     virtual void environment_set_cell( int row, int col, QString text );
  68     virtual void environment_set_length( int nb_rows );
  69     virtual void btnStep_clicked();
  70     virtual void btnLeap_clicked();
  71     virtual void btnCont_clicked();
  72     virtual void highlight_expr_in_console( int line, int col );
  73     virtual void highlight_expr_in_file( int line, int col, QString filename );
  74
  75 protected:
  76     QGridLayout* GuideUiSchemeLayout;
  77     QHBoxLayout* layout3;
  78     QVBoxLayout* layout2;
  79     QSpacerItem* spacer1;
  80
  81 protected slots:
  82     virtual void languageChange();
  83
  84 private:
  85     int lines_typed;
  86 };
  87
  88 #endif // GUIDEUISCHEME_H