Editor Suchhistorie

[Frickler]

Der IDE Editor bietet mir im Suchfeld eine Historie vergangener Suchkriterien. Nur leider ist diese Liste alphabetisch(!!!) sortiert und nicht nach der Reihenfolge der Suchvorgänge. So muss ich immer und immer wieder Suchkriterien händisch reintippen, wenn ich etwas nochmal suchen will, was nicht genau die letzte Suche war.

Kann man irgendwo einstellen, dass anders sortiert werden soll? Ich habe in den Optionen und in der Onlinehilfe nichts dazu gefunden. So ist diese Historie total unbrauchbar.

[Uwe Raabe]

Kann es sein, dass du den MMX Code Explorer installiert hast und dort die Option Enable IDE Search Enhancement aktiv ist (zu finden unter General - Delphi Editor)?

Die würde genau dieses Verhalten bewirken, zeigt aber neben der History dabei auch alle Tokens der aktuellen Unit an.

[Frickler]

Zitat von Uwe Raabe:

Kann es sein, dass du den MMX Code Explorer installiert hast und dort die Option Enable IDE Search Enhancement aktiv ist (zu finden unter General - Delphi Editor)?

Danke, das wars tatsächlich.

Haken raus, und ich sehe wieder, wonach ich davor gesucht habe. Danke! Welchen Sinn hat an der Stelle die alphabetische Sortierung? Wenn da tatsächlich auch alle "Suchtokens" erscheinen sollen, warum nicht getrennt durch einen waagerechten Strich unter meinen letzten Sucheingaben?

[Uwe Raabe]

Zitat von Frickler:

Welchen Sinn hat an der Stelle die alphabetische Sortierung? Wenn da tatsächlich auch alle "Suchtokens" erscheinen sollen, warum nicht getrennt durch einen waagerechten Strich unter meinen letzten Sucheingaben?

Das kann ich auch nur vermuten: Die Sammlung der Tokens erfolgt ein einer Stringlist mit dupIgnore und die ist nun mal sortiert.

Die History wird mit den Tokens der Unit ergänzt - damit sind auch History-Einträge enthalten, die nicht in der aktuellen Unit vorkommen (die wird man halt nicht finden).

Ich könnte mir jetzt einen Feature-Request für eine neue Option vorstellen, mit der die History-Einträge in ihrer originalen Reihenfolge an den Anfang der Drop-Down Liste positioniert werden.