texteditor.h
changeset 573 af451f0e5fbb
parent 486 9c86935835a4
child 746 ee6b0f3a4c2f
     1.1 --- a/texteditor.h	Wed May 02 15:31:20 2007 +0000
     1.2 +++ b/texteditor.h	Mon Jul 30 09:47:12 2007 +0000
     1.3 @@ -14,6 +14,8 @@
     1.4      ~TextEditor();
     1.5  
     1.6  	bool isEmpty();
     1.7 +	void setShowWithMain (bool);
     1.8 +	bool showWithMain ();
     1.9  	void setFontHint(const QString&);
    1.10  	QString getFontHint();
    1.11  	QString getFontHintDefault();
    1.12 @@ -84,6 +86,7 @@
    1.13  	QBrush filledPaper;		// depending on the state
    1.14  	QBrush inactivePaper;	// depending on the state
    1.15  	EditorState state;
    1.16 +	bool showwithmain;		// same visibility as mainwindow?
    1.17  	bool blockChangedSignal;
    1.18  
    1.19  	QFont varFont;