Thu, 22 Feb 2007 22:50:04 +0000 |
Jason Rumney |
(current_popup_menu): Use from w32menu.c.
|
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.
|