Thu, 22 Feb 2007 19:52:41 +0000 |
Kim F. Storm |
(update_text_area): Clear mouse face on header lines.
|
Thu, 22 Feb 2007 19:52:31 +0000 |
Kim F. Storm |
*** empty log message ***
|
Thu, 22 Feb 2007 17:00:08 +0000 |
Kim F. Storm |
Undo this change:
|
Thu, 22 Feb 2007 16:58:48 +0000 |
Kim F. Storm |
(it_props): Undo last change.
|
Thu, 22 Feb 2007 16:04:08 +0000 |
Kim F. Storm |
(update_frame, update_single_window): Set force_p here if
|
Thu, 22 Feb 2007 16:03:57 +0000 |
Kim F. Storm |
*** empty log message ***
|
Thu, 22 Feb 2007 11:23:11 +0000 |
Kim F. Storm |
From: Daniel Brockman <daniel@brockman.se> (tiny change)
|
Thu, 22 Feb 2007 11:21:32 +0000 |
Kim F. Storm |
*** empty log message ***
|