FIXED: Save operator for undo *after* setting it to compensate for the possibility that it cannot be set.
FIXED: Save operator for undo *after* setting it to compensate
for the possibility that it cannot be set.

jn7163/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,mndrix/swipl-devel,koryonik/swipl-devel,koryonik/swipl-devel,mndrix/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,edechter/swipl-devel,jn7163/swipl-devel,jn7163/swipl-devel,koryonik/swipl-devel,jn7163/swipl-devel,mndrix/swipl-devel,mndrix/swipl-devel