first problem resolved: url bar is no more red if bookmarkfile is empty, and empty or duplicate bookmarks are removed from the list; refs #147
parent
ded89e5c43
commit
fbc75df5d5
1 changed files with 4 additions and 0 deletions
Loading…
Reference in new issue