 Gildas
|
47509ea932
updated copyright date
|
vor 6 Jahren |
|
Gildas
|
4e158f475b
Stop using tabs.onUpdated to detect page reloads (cf #314)
|
vor 6 Jahren |
|
Gildas
|
d3ef916ff6
better handling of large pages
|
vor 6 Jahren |
|
Gildas
|
29cca86567
create editor tab next to the one saved
|
vor 6 Jahren |
|
Gildas
|
bfb6eb8715
added option "open pages saved with SingleFile in the annotation editor"
|
vor 6 Jahren |
|
Gildas
|
8b9f1d198b
moved files into editor/
|
vor 6 Jahren |
|
Gildas
|
63feef7041
fixed refresh issue on firefox
|
vor 6 Jahren |
|
Gildas
|
3e15e1b5f1
fixed memory leak
|
vor 6 Jahren |
|
Gildas
|
189870b2ed
fixed memory leak
|
vor 6 Jahren |
|
Gildas
|
bcdb70fbaf
integration of the annotation editor (fixes #161)
|
vor 6 Jahren |
