第号	Last Updated 2005/09/13

API

WriteProfileString

WriteProfileString() にて INI ファイルを書き換える．
API は正常終了し，GetProfileString() でも書き換えた値を取得できるが，
該当の INI ファイルを見ると書き換わっていない．

ファイルはすぐに書き換わらないので，
  WriteProfileString(NULL, NULL, NULL);
する．
（以前のヘルプには記載されていたが，最近のヘルプには記載なし）

API