.INI file edit of search_edit_font_size is lost after saving the file

[wstewlin@yahoo.com]

I load the .ini file (after ensuring it was the only one on my W10 Pro x64 system) into Notepad++, locate "search_edit_font_size=" (found at line 655), add 16, save the file, re-open Everything, and there is no change - the font size in the search bar is quite small. The results are much larger.
I closed it and reopened the .ini file, and my edit is gone.

How can I fix this?

[void]

Exit Everything before opening and modifying your Everything.ini:

• In Everything, from the File menu, click Exit.

[wstewlin@yahoo.com]

I thought I had done that, but I saw it was still open in the taskbar.
I tried again, and now I have it working.
Thanks.