Version 4.0 Patchlevel 17 Added Features/Bug Fixes

1. Fix a bug in clicking over the font size button in the Choice Window.

2. By default, don't use "eucfont.ps" in printing/export PS files that contains Japanese characters. Thanks to Shinta Sato <shinta@crimson.q.t.u-tokyo.ac.jp> for the patch.