Gildas ba66a0c027 removed duplicate item vor 6 Jahren
..
core 93388559b2 fixed issue when auto-opening the editor vor 6 Jahren
lib 663158c82f added option "synchronize options" (fix #296) vor 6 Jahren
ui ba66a0c027 removed duplicate item vor 6 Jahren