|
a/src/qtgui/guiutils.cpp |
|
b/src/qtgui/guiutils.cpp |
|
... |
|
... |
| 121 |
"/Recoll/prefs/reslist/collapseDuplicates", Bool, false);
|
121 |
"/Recoll/prefs/reslist/collapseDuplicates", Bool, false);
|
| 122 |
SETTING_RW(prefs.showResultsAsTable,
|
122 |
SETTING_RW(prefs.showResultsAsTable,
|
| 123 |
"/Recoll/prefs/showResultsAsTable", Bool, false);
|
123 |
"/Recoll/prefs/showResultsAsTable", Bool, false);
|
| 124 |
SETTING_RW(prefs.maxhltextmbs, "/Recoll/prefs/preview/maxhltextmbs", Int, 3);
|
124 |
SETTING_RW(prefs.maxhltextmbs, "/Recoll/prefs/preview/maxhltextmbs", Int, 3);
|
| 125 |
SETTING_RW(prefs.previewPlainPre,
|
125 |
SETTING_RW(prefs.previewPlainPre,
|
| 126 |
"/Recoll/prefs/preview/plainPre", Bool, false);
|
126 |
"/Recoll/prefs/preview/plainPre", Bool, true);
|
| 127 |
SETTING_RW(prefs.qtermcolor, "/Recoll/prefs/qtermcolor", String, "blue");
|
127 |
SETTING_RW(prefs.qtermcolor, "/Recoll/prefs/qtermcolor", String, "blue");
|
| 128 |
if (!writing && prefs.qtermcolor == "")
|
128 |
if (!writing && prefs.qtermcolor == "")
|
| 129 |
prefs.qtermcolor = "blue";
|
129 |
prefs.qtermcolor = "blue";
|
| 130 |
|
130 |
|
| 131 |
SETTING_RW(prefs.reslistfontfamily, "/Recoll/prefs/reslist/fontFamily", String,
|
131 |
SETTING_RW(prefs.reslistfontfamily, "/Recoll/prefs/reslist/fontFamily", String,
|