end editing before removing a bookmark through undo
end editing before removing a bookmark through undo
WoLpH/skim,WoLpH/skim,ycaihua/skim-app,ycaihua/skim-app,WoLpH/skim,ycaihua/skim-app,WoLpH/skim,ycaihua/skim-app,ycaihua/skim-app,WoLpH/skim