view binary.ver @ 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 9d626905f38b
children 7e4a8748cf9a
line wrap: on
line source

MPLAYER_1 {
  local: *;
};