comparison playtree.h @ 35847:25af0fce844f

Keep GUI history entries in order. Currently, if an entry is to be added to the GUI history and this entry is already existing, it is swapped with the top entry. This breaks history sequence and is confusing. Move this entry to the top while leaving the other ones in their order. Patch by Hans-Dieter Kosch, hdkosch kabelbw de.
author ib
date Sun, 10 Mar 2013 14:25:02 +0000
parents 87a1b3a11b33
children
comparison
equal deleted inserted replaced
35846:1994a2fd15f4 35847:25af0fce844f