Closed mateusmedeiros closed 9 years ago
Fixes #17
Adding a simple isClosed() function to DummyFindBar seemed like the most unobtrusive and simple way of fixing this.
c6b64a7fdb2c59dae9e6d7d29fc292727d2bf5e1 supersede this.
Fixes #17