[Patch] new feature: sort labels - with patch this time

[Andre Poenitz]

Index: buffer.C
===================================================================
RCS file: /usr/local/lyx/cvsroot/lyx-devel/src/buffer.C,v
retrieving revision 1.387
diff -u -p -r1.387 buffer.C
--- buffer.C    25 Sep 2002 12:19:13 -0000      1.387
+++ buffer.C    16 Oct 2002 08:22:14 -0000
@@ -3181,6 +3181,7 @@ vector<string> const Buffer::getLabelLis
                vector<string> const l = it->getLabelList();
                label_list.insert(label_list.end(), l.begin(), l.end());
        }
+       std::sort(label_list.begin(), label_list.end());
        return label_list;
 }