diff options
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 11aaef4d2e8..3b65ff105e9 100644 --- a/src/ChangeLog +++ b/src/ChangeLog | |||
| @@ -1,3 +1,9 @@ | |||
| 1 | 2013-06-06 Eli Zaretskii <eliz@gnu.org> | ||
| 2 | |||
| 3 | * xdisp.c (note_mouse_highlight): When mouse-highlight is off, | ||
| 4 | still need to set the mouse pointer shape and activate help-echo. | ||
| 5 | (Bug#14558) | ||
| 6 | |||
| 1 | 2013-06-06 Paul Eggert <eggert@cs.ucla.edu> | 7 | 2013-06-06 Paul Eggert <eggert@cs.ucla.edu> |
| 2 | 8 | ||
| 3 | A few porting etc. fixes for the new file monitor code. | 9 | A few porting etc. fixes for the new file monitor code. |