Gildas 82f1e183e0 added a note aboit the "synchronize options" input 6 lat temu
..
core 67fa429d04 added option "synchronize options" (fix #296) 6 lat temu
lib 67fa429d04 added option "synchronize options" (fix #296) 6 lat temu
ui 82f1e183e0 added a note aboit the "synchronize options" input 6 lat temu