| commit | 7c12dca35d9959493046a81af617f07381145788 | [log] [tgz] |
|---|---|---|
| author | Paul Webster <pwebster> | Sat May 28 01:07:47 2011 +0000 |
| committer | Paul Webster <pwebster> | Sat May 28 01:07:47 2011 +0000 |
| tree | 7316b0c6c56bb38c2d0236ff2fa65b59efbfc65c | |
| parent | a3c10bcebffcc76bad01584aff9367ee44cba3b8 [diff] |
Bug 325768 - 'Toggle Mark Occurrences' tool bar button not in enabled state Dispose the context ... it will get collected eventually, but ...