GUI: the size of the restable column widths prefs list doubled each time the dialog was opened. It was properly reset in most cases, but some use schemes would result in monster sizes being saved to the prefs

This commit is contained in:
Jean-Francois Dockes 2019-08-26 18:48:03 +02:00
parent a619922ba1
commit 49949ca5b3

View File

@ -1,4 +1,4 @@
/* Copyright (C) 2005 Jean-Francois Dockes /* Copyright (C) 2005-2019 Jean-Francois Dockes
* This program is free software; you can redistribute it and/or modify * This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by * it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or * the Free Software Foundation; either version 2 of the License, or
@ -289,6 +289,7 @@ void rwSettings(bool writing)
SETTING_RW(rtcw, "/Recoll/prefs/query/restableWidths", String, SETTING_RW(rtcw, "/Recoll/prefs/query/restableWidths", String,
"83 253 132 172 130 "); "83 253 132 172 130 ");
if (!writing) { if (!writing) {
prefs.restableColWidths.clear();
vector<string> widths; vector<string> widths;
stringToStrings((const char *)rtcw.toUtf8(), widths); stringToStrings((const char *)rtcw.toUtf8(), widths);
for (vector<string>::iterator it = widths.begin(); for (vector<string>::iterator it = widths.begin();