-
Paolo Bacchilega authored
Do not update the bookmark list while changing the name or the location of the bookmark, wait for the user to press Enter.
df3a5412
Do not update the bookmark list while changing the name or the location of the bookmark, wait for the user to press Enter.