Changeset 9b7fc95dc8e45fc2269592f71733b7a4664125bc
- Timestamp:
- 10/26/09 22:09:54 (4 years ago)
- Author:
- Armin Burgmeier <armin@…>
- Parents:
- 141ee663983752704f30415a3b0f341506d31fc3
- Children:
- d57895b7fcbfd7c29d95301c4e05bff6f2f26538
- git-committer:
- Armin Burgmeier <armin@arbur.net> / 2009-10-26T22:09:54Z+0100
- Message:
-
Disable GtkSourceView? Undo also for synced-in documents
2009-10-26 Armin Burgmeier <armin@…>
- code/operations/operation-open.cpp (constructor): Also disable
GtkSourceView?'s Undo for sync'ed-in sessions. Otherwise the user was
able to press Ctrl+Z in a newly opened document to trigger
GtkSourceView? (global) Undo when local group Undo is not available
(such as right after document creation).
- Files:
-
Legend:
- Unmodified
- Added
- Removed
-
|
r141ee66
|
r9b7fc95
|
|
| | 1 | 2009-10-26 Armin Burgmeier <armin@arbur.net> |
| | 2 | |
| | 3 | * code/operations/operation-open.cpp (constructor): Also disable |
| | 4 | GtkSourceView's Undo for sync'ed-in sessions. Otherwise the user was |
| | 5 | able to press Ctrl+Z in a newly opened document to trigger |
| | 6 | GtkSourceView (global) Undo when local group Undo is not available |
| | 7 | (such as right after document creation). |
| | 8 | |
| 1 | 9 | 2009-10-26 Armin Burgmeier <armin@arbur.net> |
| 2 | 10 | |
-
|
rfd2f104
|
r9b7fc95
|
|
| 95 | 95 | |
| 96 | 96 | m_content = GTK_TEXT_BUFFER(gtk_source_buffer_new(NULL)); |
| | 97 | // Disable GtkSourceView's Undo by beginning a not undoable |
| | 98 | // action lasting forever. We have our own (local group) Undo. |
| | 99 | gtk_source_buffer_begin_not_undoable_action( |
| | 100 | GTK_SOURCE_BUFFER(m_content)); |
| 97 | 101 | } |
| 98 | 102 | catch(const Gio::Error& err) |