|
a/src/qtgui/guiutils.cpp |
|
b/src/qtgui/guiutils.cpp |
|
... |
|
... |
132 |
|
132 |
|
133 |
// Abstract snippet separator
|
133 |
// Abstract snippet separator
|
134 |
SETTING_RW(prefs.abssep, "/Recoll/prefs/reslist/abssep", String,"…");
|
134 |
SETTING_RW(prefs.abssep, "/Recoll/prefs/reslist/abssep", String,"…");
|
135 |
if (!writing && prefs.abssep == "")
|
135 |
if (!writing && prefs.abssep == "")
|
136 |
prefs.abssep = "…";
|
136 |
prefs.abssep = "…";
|
|
|
137 |
SETTING_RW(prefs.reslistdateformat, "/Recoll/prefs/reslist/dateformat",
|
|
|
138 |
String," %Y-%m-%d %H:%M:%S %z");
|
|
|
139 |
if (!writing && prefs.reslistdateformat == "")
|
|
|
140 |
prefs.reslistdateformat = " %Y-%m-%d %H:%M:%S %z";
|
|
|
141 |
prefs.creslistdateformat = (const char*)prefs.reslistdateformat.toUtf8();
|
137 |
|
142 |
|
138 |
SETTING_RW(prefs.reslistfontfamily, "/Recoll/prefs/reslist/fontFamily", String,
|
143 |
SETTING_RW(prefs.reslistfontfamily, "/Recoll/prefs/reslist/fontFamily", String,
|
139 |
"");
|
144 |
"");
|
140 |
SETTING_RW(prefs.reslistfontsize, "/Recoll/prefs/reslist/fontSize", Int,
|
145 |
SETTING_RW(prefs.reslistfontsize, "/Recoll/prefs/reslist/fontSize", Int,
|
141 |
10);
|
146 |
10);
|