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