1 /****************************************************************************
2 ** Form interface generated from reading ui file 'guideuischeme.ui'
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 $)
7 ** WARNING! All changes made in this file will be lost!
8 ****************************************************************************/
10 #ifndef GUIDEUISCHEME_H
11 #define GUIDEUISCHEME_H
17 #define ___VERSION 40063
27 class GuideUiMainWindow
;
30 class GuideUiHighlighter
;
32 #include "qpushbutton.h"
34 class GuideUiScheme
: public QWidget
39 GuideUiScheme(GuideUiMainWindow
* main_window
, QString title
);
52 GuideUiMainWindow
* mainWindow
;
54 int get_nb_typed_lines();
55 void setWordWrap(int wordWrap
);
56 GuideUiHighlighter
* getHighlighter();
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
);
76 QGridLayout
* GuideUiSchemeLayout
;
82 virtual void languageChange();
88 #endif // GUIDEUISCHEME_H