* gui/conversation.h (OutputTextArea): Now inherit from

	QTextEditor, for the nth time.
	(OutputTextArea::sizeHint): Declare as override.
	* gui/conversation.cc (OutputTextArea::OutputTextArea): Make the
	output text editor read only.  Disallow vertical scroll bars.
	(OutputTextArea::sizeHint): Give a tight estimate.
	(OutputTextArea::add_paragraph): Tidy.
	(OutputTextArea::add_text): Likewise.
	(Exchange::reply_to_query): Toggle the mouse in busy state
	after submitting query.
	(Conversation::read_reply): Untoggle mouse' busy state if last
	output text was read.

1 files changed, 6 insertions, 4 deletions

diff --git a/src/gui/conversation.h b/src/gui/conversation.h
index 85220122..8f379f8d 100644
--- a/src/gui/conversation.h
+++ b/src/gui/conversation.h
@@ -35,7 +35,7 @@
 #include <vector>
 #include <QFrame>
 #include <QLineEdit>
-#include <QLabel>
+#include <QTextEdit>
 #include <QFont>
 #include <QEvent>
 #include <QResizeEvent>
@@ -57,10 +57,12 @@ namespace OpenAxiom {
    // --------------------
    // An output text area is a widget where we output text.
    // The texts are accumulated, as opposed to overwritten.
-   class OutputTextArea : public QLabel {
-      typedef QLabel Base;
+   class OutputTextArea : public QTextEdit {
+      typedef QTextEdit Base;
    public:
       explicit OutputTextArea(QWidget*);
+      // the metrics of this output area
+      QSize sizeHint() const;
       // Add a new paragraph to existing texts.  Paragraghs are
       // separated by the newline character.
       void add_paragraph(const QString&);
@@ -123,7 +125,7 @@ namespace OpenAxiom {
       // Conversion number
       int number() const { return no; }
 
-      // Reimplement positiion management.
+      // Reimplement position management.
       QSize sizeHint() const;
 
    protected: