renee: da ich mich mit deienr preferen sehr schwer anfreunden kann der vorschlag: stell die app > toolbar > search > position = bottom. ein der nächsten ziele ist eh ein mechanismus das eine datei mit persönlichen preferenzen die vom default abweichen anzulegen die jedes update überlebt und automatisch die config überschreibt.