Changeset 990c82025388b2f0ff1e428dd3acb41b244f22b0

Timestamp:

01/06/07 23:37:47 (6 years ago)

Author:

Philipp Kern <phil@…>

Parents:

8835374a5ff6f22b683226976026fe5ab83e05f8

Children:

89680db349f87f30ba9a9e51b49f0aac876ebe78

git-committer:

Philipp Kern <phil@0x539.de> / 2007-01-06T22:37:47Z+0000

Message:

[project @ Fixed a segfault which occured sometimes when closing documents]

Original author: Armin Burgmeier <armin@…>
Date: 2005-06-04 19:48:53+00:00

Files:

• src/document.cpp (modified) (1 diff)

src/document.cpp

@@ -473 +473 @@
 )
 {
+        // Mark was deleted or something
+        if(!mark) return;
+
         // Insert mark changed position: Cursor position change
-        if(mark == get_buffer()->get_insert() )//->get_name() == "insert")
+        if(mark == get_buffer()->get_insert() )
                 m_signal_cursor_moved.emit();
 }