| commit | 341e10ce474b539dfdf3c9a1e261149498e8a78e | [log] [tgz] |
|---|---|---|
| author | Dani Megert <dmegert> | Mon Apr 26 14:25:13 2004 +0000 |
| committer | Dani Megert <dmegert> | Mon Apr 26 14:25:13 2004 +0000 |
| tree | 2d12e48cdc088a281029db48e29537ab07fca309 | |
| parent | f518658325cd5eb2df1608cf08d1e855749503d9 [diff] |
Added tool bar button to toggle mark occurrences