1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
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)
|