Gildas 93388559b2 fixed issue when auto-opening the editor 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 2c697a9119 Stop using tabs.onUpdated to detect page reloads (cf #314) vor 6 Jahren