diff src/.gdbinit @ 58837:e3c6ff0922c2

(mouse-set-font): Handle the case where the command was not invoked using the mouse.
author Luc Teirlinck <teirllm@auburn.edu>
date Wed, 08 Dec 2004 01:14:10 +0000
parents d1917e4b98e7
children 5ee7eaad2958 7a0245dd1848 e24e2e78deda
line wrap: on
line diff