
11 Dec
2006
11 Dec
'06
9:32 a.m.
Currently the function slime-repl-merge-histories appears to be buggy in not deleting duplicates, and maintaining order. For example:
i've got a local change for slime-repl-merge-histories that also uses a hashtable to considerably speed up the merging (used by a new slime-repl-delete-history). i'll look into mergin back that change to cvs later today. -- - attila "- The truth is that I've been too considerate, and so became unintentionally cruel... - I understand. - No, you don't understand! We don't speak the same language!" (Ingmar Bergman - Smultronstället)