tree eeb6719a1b0627b426cae980a036c87c755493c6
parent 861269e81ba8f7678b7d9dd27b612d0e976cfd7e
author Marc Kupietz <kupietz@ids-mannheim.de> 1670176977 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1670176977 +0100

Make sure previous query gets overwritten by tripple clicking

Change-Id: I695950f55a273801564fabd0e40f5c6497aea9b3