From: Jeffrey Feng 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)