|
a/src/qtgui/guiutils.cpp |
|
b/src/qtgui/guiutils.cpp |
|
... |
|
... |
155 |
LOGDEB(("Replacing old default format\n"));
|
155 |
LOGDEB(("Replacing old default format\n"));
|
156 |
prefs.reslistformat = rlfDflt;
|
156 |
prefs.reslistformat = rlfDflt;
|
157 |
prefs.creslistformat = (const char*)prefs.reslistformat.toUtf8();
|
157 |
prefs.creslistformat = (const char*)prefs.reslistformat.toUtf8();
|
158 |
}
|
158 |
}
|
159 |
}
|
159 |
}
|
|
|
160 |
SETTING_RW(prefs.reslistheadertext, "/Recoll/prefs/reslist/headertext", String, "");
|
160 |
SETTING_RW(prefs.stylesheetFile, "/Recoll/prefs/stylesheet", String, "");
|
161 |
SETTING_RW(prefs.stylesheetFile, "/Recoll/prefs/stylesheet", String, "");
|
161 |
SETTING_RW(prefs.queryStemLang, "/Recoll/prefs/query/stemLang", String,
|
162 |
SETTING_RW(prefs.queryStemLang, "/Recoll/prefs/query/stemLang", String,
|
162 |
"english");
|
163 |
"english");
|
163 |
SETTING_RW(prefs.useDesktopOpen,
|
164 |
SETTING_RW(prefs.useDesktopOpen,
|
164 |
"/Recoll/prefs/useDesktopOpen", Bool, true);
|
165 |
"/Recoll/prefs/useDesktopOpen", Bool, true);
|