Update gl.properties
Merge pull request #210 from xmgz/patch-2

Update gl.properties
remove error predicate for metric
ignore right clicks (fix #209)
more on themes
icon tweak
improve scrolling performances a little
little refactoring
new labels (#129)
make sure there is a limit
Merge pull request #7 from Athou/master

update to new version