id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
12371	Option to have the search field back on top right corner	naoliv	team	"It seems that from #12224 the search field on top right corner was removed.

Is it possible to have an option to have it back, please?

JOSM:
{{{
URL:http://josm.openstreetmap.de/svn/trunk
Repository:UUID: 0c6e7542-c601-0410-84e7-c038aed88b3b
Last:Changed Date: 2016-01-15 03:12:34 +0100 (Fri, 15 Jan 2016)
Build-Date:2016-01-15 02:33:41
Revision:9460
Relative:URL: ^/trunk

Identification: JOSM/1.5 (9460 pt_BR) Linux Debian GNU/Linux testing (stretch)
Memory Usage: 1318 MB / 9102 MB (795 MB allocated, but free)
Java version: 1.8.0_72-internal-b05, Oracle Corporation, OpenJDK 64-Bit Server VM
VM arguments: [-Dawt.useSystemAAFontSettings=on]
Dataset consistency test: No problems found

Plugins:
- Create_grid_of_ways (31772)
- OpeningHoursEditor (31772)
- PicLayer (31895)
- RoadSigns (31895)
- SimplifyArea (31895)
- apache-commons (31895)
- buildings_tools (31895)
- conflation (0.1.9)
- contourmerge (1014)
- download_along (31772)
- editgpx (31772)
- ejml (31895)
- geotools (31895)
- imagery_offset_db (31895)
- importvec (31772)
- jts (31772)
- log4j (31895)
- measurement (31895)
- merge-overlap (31967)
- opendata (31937)
- pbf (31772)
- pdfimport (31895)
- poly (31772)
- reverter (31926)
- scripting (30722)
- todo (29154)
- turnrestrictions (31895)
- undelete (31895)
- utilsplugin2 (31895)
}}}"	enhancement	closed	normal		Core		wontfix