Mon, 08 Nov 2004 22:30:00 +0000 |
Kim F. Storm |
Fixed this bug:
|
Mon, 08 Nov 2004 22:25:30 +0000 |
Kim F. Storm |
(note_mouse_highlight): Clear mouse face if we move out of text area.
|
Mon, 08 Nov 2004 22:24:51 +0000 |
Kim F. Storm |
*** empty log message ***
|
Mon, 08 Nov 2004 22:12:13 +0000 |
Kim F. Storm |
(fast_find_position): Fix start pos if header line present.
|
Mon, 08 Nov 2004 22:11:40 +0000 |
Kim F. Storm |
*** empty log message ***
|
Mon, 08 Nov 2004 21:16:33 +0000 |
Nick Roberts |
(gdb-current-stack-level): New variable.
|
Mon, 08 Nov 2004 21:15:50 +0000 |
Nick Roberts |
*** empty log message ***
|