| Mon, 09 May 2005 21:55:33 +0000 |
Nick Roberts |
(gud-tooltip-mode): Require tooltip to be safe.
|
| Fri, 06 May 2005 22:10:50 +0000 |
Nick Roberts |
Move code for GUD tooltips from tooltip.el.
|
| Tue, 03 May 2005 06:47:18 +0000 |
Nick Roberts |
Replace string-to-int with string-to-number.
|
| Wed, 20 Apr 2005 10:08:21 +0000 |
Nick Roberts |
(gud-menu-map): Add tooltip-toggle-gud-tips.
|
| Fri, 15 Apr 2005 10:35:09 +0000 |
Nick Roberts |
(gud-goto-info): Use existing Info buffer, if
|
| Tue, 12 Apr 2005 03:11:23 +0000 |
Nick Roberts |
Don't set overlay-arrow-string to "=>" as this is done
|
| Mon, 11 Apr 2005 22:32:24 +0000 |
Nick Roberts |
(gud-display-line): GUD uses its own
|
