[PATCH] Search history should not contain repeated items

[anonymous]

If I search for same string multiple times (I search for certain thing, then select one found item from the list, repair it, then search again....), the search history became cluttered by the same item many times. The search should be saved to history only if it is different from the last search performed. Such improvement would improve the search history usefulness.

[xeen]

Which search feature do you refer to? I have never seen a search history anywhere…?

[stoecker]

The little arrow in the search button leads you to the history. Same for select button :-)

[xeen]

Neat feature. Although Java for some reason places the drop down on my 2nd monitor. I thought the arrow does nothing because of that.

[stoecker]

In r1451.