|
a/src/qtgui/guiutils.cpp |
|
b/src/qtgui/guiutils.cpp |
|
... |
|
... |
117 |
SETTING_RW(prefs.collapseDuplicates,
|
117 |
SETTING_RW(prefs.collapseDuplicates,
|
118 |
"/Recoll/prefs/reslist/collapseDuplicates", Bool, false);
|
118 |
"/Recoll/prefs/reslist/collapseDuplicates", Bool, false);
|
119 |
SETTING_RW(prefs.showResultsAsTable,
|
119 |
SETTING_RW(prefs.showResultsAsTable,
|
120 |
"/Recoll/prefs/showResultsAsTable", Bool, false);
|
120 |
"/Recoll/prefs/showResultsAsTable", Bool, false);
|
121 |
SETTING_RW(prefs.maxhltextmbs, "/Recoll/prefs/preview/maxhltextmbs", Int, 3);
|
121 |
SETTING_RW(prefs.maxhltextmbs, "/Recoll/prefs/preview/maxhltextmbs", Int, 3);
|
|
|
122 |
// This used to be plainPre in the file, but there is no gui control for
|
|
|
123 |
// this and the initial default was wrong (true). So switched to plainPre1
|
|
|
124 |
// so that we can start again.
|
122 |
SETTING_RW(prefs.previewPlainPre,
|
125 |
SETTING_RW(prefs.previewPlainPre,
|
123 |
"/Recoll/prefs/preview/plainPre", Bool, true);
|
126 |
"/Recoll/prefs/preview/plainPre1", Bool, false);
|
124 |
SETTING_RW(prefs.qtermcolor, "/Recoll/prefs/qtermcolor", String, "blue");
|
127 |
SETTING_RW(prefs.qtermcolor, "/Recoll/prefs/qtermcolor", String, "blue");
|
125 |
if (!writing && prefs.qtermcolor == "")
|
128 |
if (!writing && prefs.qtermcolor == "")
|
126 |
prefs.qtermcolor = "blue";
|
129 |
prefs.qtermcolor = "blue";
|
127 |
|
130 |
|
128 |
SETTING_RW(prefs.reslistfontfamily, "/Recoll/prefs/reslist/fontFamily", String,
|
131 |
SETTING_RW(prefs.reslistfontfamily, "/Recoll/prefs/reslist/fontFamily", String,
|