Version: (using KDE 4.3.3) Installed from: SuSE RPMs There are 2 recent files lists in Kate -- one is its "internal" list, the second is the one of the open dialog. According to https://bugs.kde.org/show_bug.cgi?id=193260#c1 count(recent_files_in_Kate)>=count(recent_files_in_open_dialog) should hold. But in case of KDE 4.4 I can run Kate and compare those two lists -- the internal one consists of one item, the open dialog list has several items. So there is example of violation of this invariant.
I'll leave closing this as invalid to a kate dev, but basically its intended behaviour. The recent-files list in kate has not much to do with the list in the open-file-dialog. The latter is global - accross all kate instances. The former is a per-session thing and hence is empty when starting a new session. This is by design and intentional (wether you like it or not) afaik.
As Andreas pointed out and I already before, the two recent files lists are independend, and that will stay that way, by design.
> I already before, the two recent files lists are independend No, you didn't. According to your own words those lists should be related -- i.e. open dialog list should be filtered out version of the lists that is kept by Kate.
Actually thats exactly what Dominik said: "The file dialog only knows files it opened, kate knows all files". That means they're independent. The fact that the recent-files list is sometimes shorter has to do with saving it in the session, so with a new session it'll be empty. Again the filedialog is independent from that (as its implemented independently from all KDE apps) so its list is not stored in the kate session.
"kate knows all files" A full set A. "The file dialog only knows files it opened" the subset (of A) B. "That means they're independent. " No. It means all elements from B belong to A. It also mean that might be some elements from A which do not belong to B.
No, B is not a proper subset of A. They're independent Sets, they just happen to share some elements.
Just for the record -- there is no "independent" set of set <all>.