diff src/.gdbinit @ 9813:e33e1c6864de

(Fx_list_fonts): Don't bother to retrieve font info when there's no size_ref to compare it against.
author Karl Heuer <kwzh@gnu.org>
date Wed, 02 Nov 1994 06:18:45 +0000
parents def3ab3a6f01
children 0de933eb95a2
line wrap: on
line diff