# HG changeset patch
# User insilmaril
# Date 1180538587 0
# Node ID 2c40ff8ca7ba4e693c0a8901341f434ed8849057
# Parent  ab118b86bc548956ccb6a72d7e7d5aca0bd11dff
More bugfixes, simple csv export

diff -r ab118b86bc54 -r 2c40ff8ca7ba texteditor.h
--- a/texteditor.h	Wed May 30 15:23:07 2007 +0000
+++ b/texteditor.h	Wed May 30 15:23:07 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;