Key on path rather than URI. Reduce number of distinct alerts.
Improve keying to reduce number of duplicate alerts. Improve highlighting.
Merge remote-tracking branch 'brl/develop' into develop
Disable this detection by default and update its API use.
Adding/updating licenses.
Merge remote-tracking branch 'brl/develop' into develop
Merge remote-tracking branch 'brl/develop' into develop
Fixes #184
Merge remote-tracking branch 'brl/develop' into develop
Merge remote-tracking branch 'brl/develop' into develop
Disable thes modules by default.
Updated Icon for Linux. 256 x 256 XPM.
Updated About text.
Plus others.
Remove eclipse actions by creating a new keybinding scheme
Make command-f work on OS X
Merge remote-tracking branch 'dma/develop' into develop