| Thu, 22 Feb 2007 22:49:41 +0000 |
Jason Rumney |
(current_popup_menu): Make available globally.
|
| Thu, 22 Feb 2007 20:18:17 +0000 |
J.D. Smith |
(idlwave-shell-set-bp): Fix setting condition/count on disabled BPs.
|
| Thu, 22 Feb 2007 20:17:52 +0000 |
J.D. Smith |
*** empty log message ***
|
| Thu, 22 Feb 2007 20:05:16 +0000 |
J.D. Smith |
*** empty log message ***
|
| Thu, 22 Feb 2007 20:05:04 +0000 |
J.D. Smith |
(idlwave-shell-mode): Clean up pending commands, for
|
| 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)
|
