tree 3a8a0e0f8ac505e0975b12c230b9575e8d805f4f
parent ce2f3c44079fc36e9b804ed20373aadfd101e8cb
author Ingo Weigelt <iw@wglt.de> 1351779965 +0100
committer Ingo Weigelt <iw@wglt.de> 1351779965 +0100

Do not reset selection while another selection is in progress