|
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.
|
