.. |
commands
|
0a49a18280
fix: could not insert space sometimes on the web
|
3 years ago |
document
|
99cb2430f7
fix: could not insert link on the Web
|
3 years ago |
extensions
|
bf9f6ac13f
chore: small code improvements
|
3 years ago |
infra
|
6bda1fd2ea
fix: delete the nested bulleted list will lost the children nodes
|
3 years ago |
l10n
|
5b482248ec
fix: analyze problem
|
3 years ago |
operation
|
c5af7db2cd
fix: could not input space in editor
|
3 years ago |
render
|
6ea3ea189e
chore: remove unused imports
|
3 years ago |
service
|
6ea3ea189e
chore: remove unused imports
|
3 years ago |
editor_state.dart
|
ab0131c19c
feat: disable apply operation when setting editable = false
|
3 years ago |
undo_manager.dart
|
cfdd891991
fix: redo/undo error
|
3 years ago |