On Linux show in crash message box the backtrace

[lyx.git] / src / frontends / qt4 / GuiSelectionManager.h

diff --git a/src/frontends/qt4/GuiSelectionManager.h b/src/frontends/qt4/GuiSelectionManager.h
index 1a9d1ce9bde751c375f7ab10bbf90f71c6c7fb5e..4b83e23e44cfa1ad74a33383ea2c113b33b49021 100644 (file)
--- a/src/frontends/qt4/GuiSelectionManager.h
+++ b/src/frontends/qt4/GuiSelectionManager.h
@@ -61,7 +61,7 @@ public:
        /// to be used, for example, in displaying information about a
        /// highlighted item: should it be the highlighted available item
        /// or the highlighted selected item that is displayed?
-       bool selectedFocused() const { return selectedHasFocus_; };
+       bool selectedFocused() const { return selectedHasFocus_; }
        /// Returns the selected index. Note that this will depend upon
        /// selectedFocused().
        QModelIndex getSelectedIndex() const;