filter by cmd gets unset if text is pasted into textfield
(from redmine: issue id 2132, created on 2015-02-04 by Christian.Glaser, closed on 2015-02-18)
Aufgrund einer Wartung am 28.05 von 8:00 bis 12:00 Uhr wird das System zeitweise nicht zur Verfügung stehen. -- Due to maintenance on 28 May from 8:00 to 12:00, the system will be temporarily unavailable.
(from redmine: issue id 2132, created on 2015-02-04 by Christian.Glaser, closed on 2015-02-18)