A user wrote:
Yes, I know how to define a personal dictionary and use
this feature and like it very much.
Now, my question (or a wish?) was that it would be
convenient if the dictionary was saved to disk every time I
"add" an entry to it, or, at least, if there was a way to
save it manually, just as the tex file that is being edited.
In my experience, the personal dictionary on disk is only
updated when TXC is closed.
This would be convenient, for example, if I wanted to take
my work (including the dictionary and all the files) home
without closing TXC on my office PC. Does this make
We should not save it every time a word is added, but
probably provide a menu command to save it on demand.