| .. |
|
bg
|
84b7097eee
hide entry fome menu if necessary (fix #382)
|
5 years ago |
|
content
|
8a66e3dd4e
refactored message handler
|
6 years ago |
|
devtools
|
47509ea932
updated copyright date
|
6 years ago |
|
pages
|
bc5e326501
fixed alignment issue
|
5 years ago |
|
resources
|
da7383c817
added "Format the page for better readability" button in the editor
|
6 years ago |
|
index.js
|
47509ea932
updated copyright date
|
6 years ago |
Gildas