Skip to content

Handle <time> elements ("global times") #354

@gnprice

Description

@gnprice

We should handle <time> elements. These are the output of the Zulip "global times" feature: https://zulip.com/help/global-times

Handling these means parsing them in lib/model/content.dart, and then styling them appropriately in lib/widgets/content.dart. For appropriate styling, see the Zulip web app's web/styles/rendered_markdown.css.

Metadata

Metadata

Assignees

Labels

a-contentParsing and rendering Zulip HTML content, notably message contents

Type

No type

Projects

Status

Done

Relationships

None yet

Development

No branches or pull requests

Issue actions