tree 3642f5fe0b4bab5d90368fb3446ede70150089ff
parent 297d6ae1daf2405dde3fdf7785babccc37d836df
author Michael Jastram <michael@jastram.de> 1418919363 +0100
committer Michael Jastram <michael@jastram.de> 1418919363 +0100

Enabling double clicking to open the right editor.