Update src/ui/DsEditState.cc