Gildas a8ce640d08 minor CSS fixes 6 lat temu
..
bg 83d7f7aed7 integrated pending saves in the side panel 6 lat temu
content 2f4c4e4dde avoid cutting notes 6 lat temu
devtools b146f8d3df moved singlefile dependencies into extension/lib 6 lat temu
editor 190f2f8acf reorganized icons 6 lat temu
pages a8ce640d08 minor CSS fixes 6 lat temu
resources 0a471c1f35 Allow restoring removed elements one by one 6 lat temu
index.js a1aa22a1e5 split extension/index.js 6 lat temu