diff options
author | Paul Eggert <[email protected]> | 2011-11-26 20:43:11 -0800 |
---|---|---|
committer | Paul Eggert <[email protected]> | 2011-11-26 20:43:11 -0800 |
commit | e47695319fc758da7ff07d7084386258b6c8b677 (patch) | |
tree | c1cd573850e4dd66b8df696835d52513f10dfc94 /etc/TODO | |
parent | 83aca1cb6970314dcc6c35c1432ebcac42811926 (diff) |
Spelling fixes.
Diffstat (limited to 'etc/TODO')
-rw-r--r-- | etc/TODO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -841,7 +841,7 @@ more detailed diagnosis. **** Provide an Error Summary buffer showing all the validation errors. -**** Pop-up menu. What is useful? Tag a region (should be greyed out if +**** Pop-up menu. What is useful? Tag a region (should be grayed out if the region is not balanced). Suggestions based on error messages. **** Have configurable list of namespace URIs so that we can provide |