mjakeman / extension-manager

A utility for browsing and installing GNOME Shell Extensions.
https://mattjakeman.com/apps/extension-manager
GNU General Public License v3.0
988 stars 78 forks source link

Comments and Ratings #4

Closed mjakeman closed 2 years ago

mjakeman commented 2 years ago

The user should be able to view comments and extension ratings as part of the search results.

Displaying the comments will be quite tricky. We need a way to either render HTML or (ideally) convert it to Pango markup.

Investigate whether there is a way to display simple HTML markup without using webkit.

mjakeman commented 2 years ago

An update on the status of this issue.

mjakeman commented 2 years ago

As of PR https://github.com/mjakeman/text-engine/pull/3, my rich text component now supports enough of HTML to display comments from extensions.gnome.org. Comments and reviews will therefore be part of the 0.3 release :partying_face:.

As a quick demonstration, the following messy HTML snippet:

<p>There was an Old Man with a beard\nWho said, &quot;It is just as I feared!</p><p> &gt; Two Owls and a Hen,<br> &gt; Four Larks and a Wren,</p><p>Have all built their nests in my beard!&quot;</p>

Is successfully rendered as follows, with support for wrap-around if necessary.

image

mjakeman commented 2 years ago

Work-in-progress support for comments: image