diff -r 9c86935835a4 -r a02d84c2d0ac texteditor.h
--- a/texteditor.h	Wed May 02 15:31:20 2007 +0000
+++ b/texteditor.h	Tue May 06 11:16:40 2008 +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;