diff -r dfbc371b7280 -r bd28847feede texteditor.h
--- a/texteditor.h	Sat Mar 31 09:28:27 2007 +0000
+++ b/texteditor.h	Thu May 17 20:19:03 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;