Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Remove entries from History/Domain completers when they're removed on chrome. #715
Currently, if a history entry is removed in chrome (or the entire history is removed), then the effects do not propagate into vimium until the next restart.
This is a pretty inconsistent UX.
The attached code fixes this inconsistency.
(Edit: Comments regarding bug in