@@ -290,12 +290,24 @@ Item {
290 checked: serverChecked
290 checked: serverChecked
291 highlightWhenPressed: false
291 highlightWhenPressed: false
293− onServerCheckedChanged: {
293+ onServerCheckedChanged: updateFromServer()
294− // value can be changed by menu, so a binding won't work.
295− checked = serverChecked;
297 onTriggered: {
294 onTriggered: {
298 menuModel.activate(menuIndex);
295 menuModel.activate(menuIndex);
296+ resyncTimer.restart();
299+ // value can be changed by menu, so a binding won't work.
300+ function updateFromServer() {
302+ if (checked != serverChecked) {
303+ checked = serverChecked;
310+ onTriggered: updateFromServer()
@@ -315,12 +327,24 @@ Item {
315 checked: serverChecked
327 checked: serverChecked
316 highlightWhenPressed: false
328 highlightWhenPressed: false
318− onServerCheckedChanged: {
330+ onServerCheckedChanged: updateFromServer()
319− // value can be changed by menu, so a binding won't work.
320− checked = serverChecked;
322 onTriggered: {
331 onTriggered: {
323 menuModel.activate(menuIndex);
332 menuModel.activate(menuIndex);
333+ resyncTimer.restart();
336+ // value can be changed by menu, so a binding won't work.
337+ function updateFromServer() {
339+ if (checked != serverChecked) {
340+ checked = serverChecked;
347+ onTriggered: updateFromServer()