Bennett Helm wrote:
> However, I get a crash when closing the last document
> -- a problem that's been around for a while. See my e-mail message here:
>
> <http://www.mail-archive.com/[email protected]/msg105812.html>
Does this patch help?
Peter
Index: src/frontends/qt4/GuiWorkArea.C
===================================================================
--- src/frontends/qt4/GuiWorkArea.C (revision 16071)
+++ src/frontends/qt4/GuiWorkArea.C (working copy)
@@ -199,6 +199,10 @@
setAttribute(Qt::WA_InputMethodEnabled, true);
}
+GuiWorkArea::~GuiWorkArea()
+{
+ hide();
+}
void GuiWorkArea::setScrollbarParams(int h, int scroll_pos, int
scroll_line_step)
{
Index: src/frontends/qt4/GuiWorkArea.h
===================================================================
--- src/frontends/qt4/GuiWorkArea.h (revision 16071)
+++ src/frontends/qt4/GuiWorkArea.h (working copy)
@@ -93,6 +93,7 @@
public:
///
GuiWorkArea(int width, int height, int id, LyXView & lyx_view);
+ ~GuiWorkArea();
///
bool hasFocus() const { return QAbstractScrollArea::hasFocus(); }