Re: Session: cursor position not retrieved when loading from last session

[Bo Peng]

After some more experimenting, I've figured out the cause: filenames
with spaces.

Once the source of the problem is found, the fix is easy. Please try again.

Cheers,
Bo