Attempted to improve tip window behaviour, but kill focus still not working in wxGTK.

[wxWidgets.git] / utils / tex2rtf / src / tex2any.h

diff --git a/utils/tex2rtf/src/tex2any.h b/utils/tex2rtf/src/tex2any.h
index 734c28dcd3548af426db8c9c89cd684da6e329b3..22068f38a93b15f62ca63f3ec1727505675c1a2d 100644 (file)
--- a/utils/tex2rtf/src/tex2any.h
+++ b/utils/tex2rtf/src/tex2any.h
@@ -34,6 +34,13 @@
 #define FORBID_WARN       1
 #define FORBID_ABSOLUTELY 2
 
+
+#ifdef __WXMSW__
+  const int MAX_LINE_BUFFER_SIZE = 600;
+#else
+  const int MAX_LINE_BUFFER_SIZE = 11000;
+#endif
+
 class TexMacroDef: public wxObject
 {
  public: