Improvement: recent file list in export

When doing SQL (I'm using MySQL, but I guess its the same with the other DBs)
I user Output to Single .sql file

I have a few projects that I switch between, so I do frequent DB dumps from diff DBs in the same Server.

When the I choose the Filename - it will remember the last files used.
The problem here is that you don't SELECT DISTINCT there :-)

So say I do:
- export to file A
- then to B
and I repeat between them a few times over some time (days / weeks)
when i go back to the file list - A and B (which are always the same) will repeat multiple time.

In my view it's enough to display each unique file name once,
as the duplicates just clutter the list and don't help much.
(somewhat annoying when looking to find an older file name in the list, and it's there somewhere on the bottom between repeated copies of the same file name...)

I think a good solution is to remove the duplicates and only keep unique file names on that list.

Thanks
Dan

Some light proofing... (too quick to submit this)

First line: When doing SQL EXPORT on a specific DB.

And also here's a screenshot to clarify:
https://www.dropbox.com/s/22sy26gyipxhy1m/2015-01-02%2013_05_55-Table%20tools.jpg?dl=0

You can see that:
- Lines 5,7,8 are the same file
- Lines 4,6 are also the same
and it goes on the same when you scroll down...

Dan

Confirmed. Will modify that piece of code, so it deletes an identical filename from the list before adding it again to the top.

Oh, regarding old save states, I have to expect more than one identical filename to delete.

Thanks :-)

Done in r4890