|
a/src/qtgui/guiutils.cpp |
|
b/src/qtgui/guiutils.cpp |
|
... |
|
... |
120 |
"/Recoll/prefs/reslist/collapseDuplicates", Bool, false);
|
120 |
"/Recoll/prefs/reslist/collapseDuplicates", Bool, false);
|
121 |
SETTING_RW(prefs.showResultsAsTable,
|
121 |
SETTING_RW(prefs.showResultsAsTable,
|
122 |
"/Recoll/prefs/showResultsAsTable", Bool, false);
|
122 |
"/Recoll/prefs/showResultsAsTable", Bool, false);
|
123 |
SETTING_RW(prefs.maxhltextmbs, "/Recoll/prefs/preview/maxhltextmbs", Int, 3);
|
123 |
SETTING_RW(prefs.maxhltextmbs, "/Recoll/prefs/preview/maxhltextmbs", Int, 3);
|
124 |
|
124 |
|
125 |
// The default is true because I find it more often useful to keep
|
|
|
126 |
// indentation than to fold lines. Mileage may vary.
|
|
|
127 |
SETTING_RW(prefs.previewPlainPre,
|
125 |
SETTING_RW(prefs.previewPlainPre,
|
128 |
"/Recoll/prefs/preview/plainPre", Bool, true);
|
126 |
"/Recoll/prefs/preview/plainPre", Int, PrefsPack::PP_PREWRAP);
|
129 |
SETTING_RW(prefs.qtermcolor, "/Recoll/prefs/qtermcolor", String, "blue");
|
127 |
SETTING_RW(prefs.qtermcolor, "/Recoll/prefs/qtermcolor", String, "blue");
|
130 |
if (!writing && prefs.qtermcolor == "")
|
128 |
if (!writing && prefs.qtermcolor == "")
|
131 |
prefs.qtermcolor = "blue";
|
129 |
prefs.qtermcolor = "blue";
|
132 |
|
130 |
|
133 |
// Abstract snippet separator
|
131 |
// Abstract snippet separator
|