El 3/04/19 a las 3:43 a. m., Gavin Smith escribió:
On Tue, Apr 02, 2019 at 06:09:40PM -0500, sirgazil wrote:
El 2/04/19 a las 5:10 p. m., Per Bothner escribió:
On 4/2/19 1:12 PM, Ricardo Wurmus wrote:
As far as I know GNOME’s Yelp is a frontend to different kinds of
documentation and it does support Info files.
That reads *info* files. We're talking about reading *html* files.
See Gavin's original message for why we want to use html.
Isn't it more about "increase the ease of
accessing documentation, including documentation locally installed on
a user's own computer. When a user is using a bitmapped display (e.g.
with X11), this could become the default way that they access
documentation."?
Variation of fonts and text reflowing, as I said in my original message.
Sorry, I don't understand. Documents in Yelp seem to adapt to some
extent to the screen width (text reflows, for example). Videos an images
don't adapt well to the screen width in the version I'm using, and info
documents seem to have a fixed width.
As for fonts, Yelp seems to use the same fonts for the kind of documents
it supports. Isn't it desirable to present all documents uniformly?
However, Yelp seems to use WebKit (I'm not sure), and GNOME and GTK
components are being modified to adapt to different screen sizes to
support mobile devices. So problems of adaptability of the content to
the size of the screen will likely disappear...
--
Luis Felipe López Acevedo
http://sirgazil.bitbucket.io/