--- win/X11/JNetHack.ad 2006-08-05 16:00:47.000000000 +0900 +++ win/X11/JNetHack.ad 2006-08-05 16:25:18.000000000 +0900 @@ -5,14 +5,14 @@ ! JNetHack*colormap: install ! -JNetHack*font: variable -JNetHack*display_file*font: fixed -JNetHack*tombstone*font: fixed -JNetHack*rip*font: -*-times-medium-r-*-*-12-*-*-*-*-*-*-* -JNetHack*menu*font: fixed -JNetHack*text*font: fixed +JNetHack*font: *-14-* +!JNetHack*display_file*font: fixed +!JNetHack*tombstone*font: fixed +!JNetHack*rip*font: -*-times-medium-r-*-*-12-*-*-*-*-*-*-* +!JNetHack*menu*font: fixed +!JNetHack*text*font: fixed !JNetHack*map*font: nh10 -JNetHack*map*font: fixed +!JNetHack*map*font: fixed ! To use full-color tiles for the map, uncomment the tile file name. ! If you use a 100dpi (or greater) monitor you may wish to double the @@ -23,9 +23,9 @@ ! such as XV or preferably PBMplus. ! !JNetHack.tile_file: x11tiles32j -JNetHack.tile_file: t32-1024.xpm -JNetHack.tile_width: 32 -JNetHack.tile_height: 32 +JNetHack.tile_file: x11tiles +JNetHack.tile_width: 16 +JNetHack.tile_height: 16 !JNetHack.double_tile_size: True ! ! The annotation of pets.