Jonas Jenwald c79e5b3f17
Viewer: replace find label with placeholder/tooltip
This is common in the rest of the UI and helps us prevent responsiveness
issues for different length strings in different locales.
2017-03-08 23:54:14 +01:00
..
2016-04-28 13:30:03 -05:00
2017-02-27 08:32:39 -06:00