Fix another crash due to a null cursor.

Authored by dfaure on May 20 2020, 10:19 AM.

Description

Fix another crash due to a null cursor.

Interesting that hasSelection() can be true even if the cursor
now points to a null document (deleted meanwhile, likely)

Details

Committed
dfaureMay 20 2020, 10:19 AM
Parents
R865:f5350b15f58f: GIT_SILENT: time to increase it
Branches
Unknown
Tags
Unknown