Conditionally replace 'other-window' fonts on sizing
[xboard.git] / winboard /
drwxr-xr-x   ..
-rw-r--r-- 2161 COMPILING
-rw-r--r-- 4097 WB4Jaws.dev
-rw-r--r-- 4088 Winboard.dev
drwxr-xr-x - bitmaps
-rw-r--r-- 4273 config.h
-rw-r--r-- 10891 defaults.h
-rw-r--r-- 2835 help.c
-rw-r--r-- 301 help.h
drwxr-xr-x - help
-rw-r--r-- 149 internationalize
-rw-r--r-- 46512 jaws.c
-rw-r--r-- 32379 language.txt
drwxr-xr-x - language
-rw-r--r-- 5188 makefile.gcc
-rw-r--r-- 6237 makefile.ms
-rw-r--r-- 171 metascript.txt
drwxr-xr-x - res
-rw-r--r-- 28232 resource.h
drwxr-xr-x - shogibitmaps
-rw-r--r-- 13344 wchat.c
-rw-r--r-- 10433 wclipbrd.c
-rw-r--r-- 1411 wclipbrd.h
-rw-r--r-- 8044 wedittags.c
-rw-r--r-- 15739 wengineoutput.c
-rw-r--r-- 9805 wevalgraph.c
-rw-r--r-- 15384 wgamelist.c
-rw-r--r-- 9340 whistory.c
-rw-r--r-- 325115 winboard.c
-rwxr-xr-x 9561 winboard.dsp
-rw-r--r-- 541 winboard.dsw
-rw-r--r-- 8134 winboard.h
-rw-r--r-- 369 winboard.hpj
-rw-r--r-- 123235 winboard.rc
-rw-r--r-- 504306 winboard.rtf
-rw-r--r-- 6695 wlayout.c
-rw-r--r-- 108644 woptions.c
-rw-r--r-- 1533 woptions.h
-rw-r--r-- 42633 wsettings.c
-rw-r--r-- 9175 wsnap.c
-rw-r--r-- 1655 wsnap.h
-rw-r--r-- 3693 wsockerr.c
-rw-r--r-- 1180 wsockerr.h