1 files changed, 47 insertions, 0 deletions
diff --git a/01-texstudio-bug-fix.patch b/01-texstudio-bug-fix.patch
new file mode 100644
index 000000000000..d4fdfe66122c
--- /dev/null
+++ b/01-texstudio-bug-fix.patch
@@ -0,0 +1,47 @@
+From: Jeffrey Feng <galago1992@gmail.com>
+Subject: [PATCH 1/4] texstudio bug fix -- Grammar and QSplitter
+---
+git diff --stat
+ src/configmanager.cpp              |  2 +-
+ src/grammarcheck.cpp               |  2 +-
+ src/minisplitter.cpp               |  1 -
+ 3 files changed, 2 insertions(+), 3 deletions(-)
+
+diff --git a/src/configmanager.cpp b/src/configmanager.cpp
+index 41f2e496..f7e8b7a2 100644
+--- a/src/configmanager.cpp
++++ b/src/configmanager.cpp
+@@ -603,7 +603,7 @@ ConfigManager::ConfigManager(QObject *parent): QObject (parent),
+ #else
+ 	registerOption("Grammar/Language Tool URL", &grammarCheckerConfig->languageToolURL, "http://localhost:8081/", &pseudoDialog->lineEditGrammarLTUrl);
+ #endif
+-	registerOption("Grammar/Language Tool Path", &grammarCheckerConfig->languageToolPath, "", &pseudoDialog->lineEditGrammarLTPath);
++    registerOption("Grammar/Language Tool Path", &grammarCheckerConfig->languageToolPath, "/usr/share/languagetool:/usr/share/java/languagetool/*", &pseudoDialog->lineEditGrammarLTPath);
+ 	registerOption("Grammar/Language Tool Arguments", &grammarCheckerConfig->languageToolArguments, "org.languagetool.server.HTTPServer -p 8081", &pseudoDialog->lineEditGrammarLTArguments);
+ 	registerOption("Grammar/Language Tool Java Path", &grammarCheckerConfig->languageToolJavaPath, "java", &pseudoDialog->lineEditGrammarLTJava);
+ 	registerOption("Grammar/Language Tool Autorun", &grammarCheckerConfig->languageToolAutorun, true, &pseudoDialog->checkBoxGrammarLTAutorun);
+diff --git a/src/grammarcheck.cpp b/src/grammarcheck.cpp
+index d3ae0978..4b3a3e6a 100644
+--- a/src/grammarcheck.cpp
++++ b/src/grammarcheck.cpp
+@@ -898,7 +898,7 @@ void GrammarCheckLanguageToolJSON::tryToStart()
+     }
+     triedToStart = true;
+     startTime = 0;
+-    if (ltPath == "" || !QFileInfo(ltPath).exists()) return;
++    if (ltPath == "") return;
+     javaProcess = new QProcess();
+     connect(javaProcess, SIGNAL(finished(int)), javaProcess, SLOT(deleteLater()));
+     connect(this, SIGNAL(destroyed()), javaProcess, SLOT(deleteLater()));
+diff --git a/src/minisplitter.cpp b/src/minisplitter.cpp
+index f70eed7e..e19fcd61 100644
+--- a/src/minisplitter.cpp
++++ b/src/minisplitter.cpp
+@@ -72,7 +72,6 @@ void MiniSplitterHandle::resizeEvent(QResizeEvent *event)
+     else
+         setContentsMargins(0, 2, 0, 2);
+     setMask(QRegion(contentsRect()));
+-    QSplitterHandle::resizeEvent(event);
+ }
+ 
+ void MiniSplitterHandle::paintEvent(QPaintEvent *event)