|
format
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
interface
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
plugin
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
scheme
|
Implement spell checking for selected regions
|
2019-02-16 11:41:24 +00:00 |
|
source
|
Fix typos
|
2019-01-16 16:04:56 +00:00 |
|
style
|
Continued reorganization of Document menu
|
2013-10-26 21:20:27 +00:00 |
