changeset 14920 | 4d5df8d35a95 |
parent 14873 | 56293aa24e81 |
child 15181 | 4c13bc464c61 |
--- a/QTfrontend/ui/page/pageoptions.cpp Tue May 07 16:08:27 2019 +0200 +++ b/QTfrontend/ui/page/pageoptions.cpp Tue May 07 18:45:14 2019 +0200 @@ -1218,6 +1218,7 @@ QModelIndexList mdl = binds->match(binds->index(0, 0), Qt::UserRole + 1, value, 1, Qt::MatchExactly); if(mdl.size() == 1) binder->setBindIndex(i, mdl[0].row()); } + binder->checkConflicts(); } currentTab = index; @@ -1258,4 +1259,5 @@ if(ret != -1) bindUpdated(i); } + binder->checkConflicts(); }