comparison: src/history.cpp
src/history.cpp
- changeset 224
- 805bf9ef9529
- parent 220
- 1f368f0a323b
- child 250
- 6e80f038e8df
equal
deleted
inserted
replaced
| 223:4f95d7f2e9ef | 224:805bf9ef9529 |
|---|---|
| 85 ACTION (undo)->setEnabled (false); | 85 ACTION (undo)->setEnabled (false); |
| 86 ACTION (redo)->setEnabled (false); | 86 ACTION (redo)->setEnabled (false); |
| 87 #endif // RELEASE | 87 #endif // RELEASE |
| 88 | 88 |
| 89 // Update the window title as well | 89 // Update the window title as well |
| 90 g_win->setTitle (); | 90 g_win->updateTitle (); |
| 91 } | 91 } |
| 92 | 92 |
| 93 // ========================================================================= | 93 // ========================================================================= |
| 94 long pos () { | 94 long pos () { |
| 95 return s_pos; | 95 return s_pos; |
