> Could you update it, please?
hmm, are we talking about the same patch ?
$ cat /trash/revert.patch |patch -p0 --dry-run
patching file frontend_helpers.cpp
$
pavel
Index: frontend_helpers.cpp
===================================================================
--- frontend_helpers.cpp (revision 19134)
+++ frontend_helpers.cpp (working copy)
@@ -40,7 +40,6 @@
#include <algorithm>
#include <fstream>
-#include <locale>
using std::string;
using std::vector;
@@ -1108,22 +1107,10 @@
LanguagePair, bool>
{
public:
-#if 1//defined(__GNUC__) && (!defined(USE_WCHAR_T) || __GNUC__ < 4)
bool operator()(LanguagePair const & lhs,
LanguagePair const & rhs) const {
return lhs.first < rhs.first;
}
-#else
-// this is supposed to fix bug 2738, but it is not stable yet
-// see http://bugzilla.lyx.org/show_bug.cgi?id=2738
- Sorter() : loc_("") {};
- bool operator()(LanguagePair const & lhs,
- LanguagePair const & rhs) const {
- return loc_(lhs.first, rhs.first);
- }
-private:
- std::locale loc_;
-#endif
};
} // namespace anon
