On 07/31/2015 12:12 PM, Guillaume Munch wrote:
Improve the performance of the source panel by using a QTimer. Solves
<http://www.lyx.org/trac/ticket/9493>. Please criticise.
From d25446e1dc4aa62eae239fa95098134a1c71d9c0 Mon Sep 17 00:00:00 2001
From: gadmm<ga...@free.fr>
Date: Fri, 31 Jul 2015 01:05:54 +0100
Subject: [PATCH] Improve the performance of the source panel by using a
QTimer.
---
src/frontends/qt4/GuiViewSource.cpp | 32 ++++++++++++++++++++++++++------
src/frontends/qt4/GuiViewSource.h | 11 ++++++++++-
2 files changed, 36 insertions(+), 7 deletions(-)
diff --git a/src/frontends/qt4/GuiViewSource.cpp
b/src/frontends/qt4/GuiViewSource.cpp
index 3fcaed9..ede7e3e 100644
--- a/src/frontends/qt4/GuiViewSource.cpp
+++ b/src/frontends/qt4/GuiViewSource.cpp
@@ -46,7 +46,8 @@ namespace frontend {
ViewSourceWidget::ViewSourceWidget()
: bv_(0), document_(new QTextDocument(this)),
highlighter_(new LaTeXHighlighter(document_)),
- force_getcontent_(true)
+ force_getcontent_(true),
+ update_timer_(new QTimer(this))
Do we need to delete this in the destructor?
Otherwise, it looks good to me, but I'm not much of an expert on this.
Richard
