Addressed various unicode related issues.
Note this is using recent changes from text_filter library.
This commit is contained in:
@@ -103,12 +103,12 @@ feature -- Access
|
||||
-- Full title of the node.
|
||||
-- Required!
|
||||
|
||||
summary: detachable READABLE_STRING_8
|
||||
summary: detachable READABLE_STRING_32
|
||||
-- A short summary of the node.
|
||||
deferred
|
||||
end
|
||||
|
||||
content: detachable READABLE_STRING_8
|
||||
content: detachable READABLE_STRING_32
|
||||
-- Content of the node.
|
||||
deferred
|
||||
end
|
||||
|
||||
Reference in New Issue
Block a user