diff -r 9c86935835a4 -r 497fab7d1404 texteditor.h
--- a/texteditor.h	Wed May 02 15:31:20 2007 +0000
+++ b/texteditor.h	Tue Jun 19 14:20:30 2007 +0000
@@ -14,6 +14,8 @@
     ~TextEditor();
 
 	bool isEmpty();
+	void setShowWithMain (bool);
+	bool showWithMain ();
 	void setFontHint(const QString&);
 	QString getFontHint();
 	QString getFontHintDefault();
@@ -84,6 +86,7 @@
 	QBrush filledPaper;		// depending on the state
 	QBrush inactivePaper;	// depending on the state
 	EditorState state;
+	bool showwithmain;		// same visibility as mainwindow?
 	bool blockChangedSignal;
 
 	QFont varFont;