diff src/w32font.c @ 103779:d8f620ade0dc

(gdb): Remove description of gdb-use-separate-io-buffer. (menu): Don't allow toggling of or enable gdb-use-separate-io-buffer from menubar.
author Nick Roberts <nickrob@snap.net.nz>
date Wed, 08 Jul 2009 04:51:57 +0000
parents 3e06f0e66062
children 68dd71358159
line wrap: on
line diff