unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Eli Zaretskii <eliz@gnu.org>
To: Nic Ferrier <nferrier@ferrier.me.uk>
Cc: stephen@xemacs.org, emacs-devel@gnu.org,
	monnier@iro.umontreal.ca, rms@gnu.org
Subject: Re: HTML-Info design
Date: Tue, 23 Dec 2014 22:41:19 +0200	[thread overview]
Message-ID: <83ioh2nlow.fsf@gnu.org> (raw)
In-Reply-To: <87vbl2xigp.fsf@ferrier.me.uk>

> From: Nic Ferrier <nferrier@ferrier.me.uk>
> Cc: Stefan Monnier <monnier@iro.umontreal.ca>,  stephen@xemacs.org,  rms@gnu.org,  emacs-devel@gnu.org
> Date: Tue, 23 Dec 2014 19:40:54 +0000
> 
> You are suggesting this isn't a valid POC.

No, I didn't say that.  Quite the contrary, I said it does constitute
a POC.

> * implements node browsing through a toc
> * auto completion of toc elements
> * auto completion of index elements (how they are displayed is really
>   irrelevant)
> * info like traversal (collecting the history)
> * an info/emacs like keymap
> 
> What it does not implement:
> 
> * full text search
> 
> But I don't see why that is a difficult thing.

Maybe it is, maybe it isn't.  If I knew JS like you do, like I know C
and Lisp and a few other languages, I could probably have an
independent opinion without a working implementation.  But I don't, so
I must look at the implementation, see what it does and what it
doesn't, and decide if I'm convinced.

Please understand that to me, the search functionality -- all kinds of
it -- that we have in Info is the main feature.  That is what makes
Info shine in my eyes.  Not menu completion (in a browser, I'm
supposed to be using the mouse, so I don't really need completion so
much).  Not the Emacs-like keymap (I can configure my browser for that
myself, and actually did that already).  Not Info-like history -- that
is trivial with a Web browser.  All that is much less important than
the features that let me find stuff quickly and efficiently.  So text
search across the entire document is a must, and likewise substring
matching in index entries and support for several index nodes.
Without this, a documentation browser is not worth it for me.

Now, it could well be that adding those is a piece of cake, but I just
don't know that.  Until you show me that it is indeed doable without
jumping through hoops, and can work on several popular browsers, I
won't be convinced, sorry.

Likewise with the directionality of the index prompt -- it might be a
minor issue for a POC, but if it turns out that it is insoluble in
principle, it's a showstopper, I hope you agree.

And there are other valuable features in Info, please take a look at
the commands in inf*.el files.  Some of them probably won't be
possible or practical with www+js technique, like index-apropos, for
example.  Which is a pity, at least for me, but what bothers me is how
many more of such important features will have to be thrown away, how
much useful functionality we will have to give up?

We are talking about replacing an existing browser, one that is
developed for decades and is chock-full of useful features.  I use
many of them every day.  People can say it's "samizdat" all they want,
but for me it is a tremendously useful tool.  If you want to convince
me that the replacement will be worthy, you need to show that those
important features, or at least some non-trivial subset thereof, can
be had with your suggested approach.  And given my JS ignorance, the
only way of showing that is by implementing it.  Because I have no
idea what will it take to write a multi-file regexp search in JS.

I hope I made myself clear.

Once again, thanks for working on this.



  reply	other threads:[~2014-12-23 20:41 UTC|newest]

Thread overview: 575+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-12-17 17:54 Have you all gone crazy? Was: On being web-friendly and why info must die Sven Axelsson
2014-12-17 18:16 ` Paul Eggert
2014-12-17 18:17 ` David Kastrup
2014-12-17 21:14   ` Stefan Monnier
2014-12-17 21:17     ` David Kastrup
2014-12-17 22:14       ` Stefan Monnier
2014-12-17 22:43         ` Óscar Fuentes
2014-12-18  3:45         ` Eli Zaretskii
2014-12-18  7:40           ` Sven Axelsson
2014-12-19 20:26         ` Phillip Lord
2014-12-19 20:52           ` Yuri Khan
2014-12-19 21:29             ` Óscar Fuentes
2014-12-19 21:35           ` Stefan Monnier
2014-12-17 18:29 ` Allen S. Rout
2014-12-19 20:42   ` Phillip Lord
2014-12-19 21:15     ` Jay Belanger
2014-12-19 21:32       ` David Kastrup
2014-12-19 21:22     ` David Kastrup
2014-12-20  7:30     ` Stephen J. Turnbull
2014-12-20  8:27       ` David Kastrup
2014-12-20 10:22         ` Stephen J. Turnbull
2014-12-20 11:10           ` Lennart Borgman
2014-12-20 11:45             ` David Kastrup
2014-12-20 11:49               ` Lennart Borgman
2014-12-21 10:56                 ` Richard Stallman
2014-12-20 14:26             ` Stephen J. Turnbull
2014-12-20 14:35               ` Lennart Borgman
2014-12-20 16:36                 ` David Kastrup
2014-12-20 16:47                 ` Stephen J. Turnbull
2014-12-20 17:23                   ` Lennart Borgman
2014-12-20 18:03                     ` Stephen J. Turnbull
2014-12-20 19:06                       ` Lennart Borgman
2014-12-21 10:56             ` Richard Stallman
2014-12-20 11:35           ` David Kastrup
2014-12-20 14:48             ` Stephen J. Turnbull
2014-12-21 10:56             ` Richard Stallman
2014-12-21 11:05               ` David Kastrup
2014-12-21 16:47                 ` Drew Adams
2014-12-21 17:10                   ` David Kastrup
2014-12-21 17:33                   ` Sven Axelsson
2014-12-21 17:50                     ` Lennart Borgman
2014-12-21 18:01                       ` David Kastrup
2014-12-21 23:35                         ` Lennart Borgman
2014-12-21 17:43                   ` Lennart Borgman
2014-12-21 17:57                     ` David Kastrup
2014-12-22  2:30                       ` Yuri Khan
2014-12-22  8:58                         ` David Kastrup
2014-12-22 17:37                           ` Yuri Khan
2014-12-22 18:23                             ` Lennart Borgman
2014-12-23  9:27                             ` Steinar Bang
2014-12-23 10:15                               ` Lennart Borgman
2014-12-23 10:55                                 ` [OT] HTML5 Ivan Shmakov
2014-12-23 12:41                                 ` Have you all gone crazy? Was: On being web-friendly and why info must die Steinar Bang
2014-12-23 12:50                                   ` Lennart Borgman
2014-12-23 14:35                                   ` Yuri Khan
2014-12-23 14:52                                     ` Lennart Borgman
2014-12-24  9:55                                       ` Richard Stallman
2014-12-23 10:37                           ` texi2html output validity Ivan Shmakov
2014-12-23 10:44                             ` Lennart Borgman
2014-12-23 16:55                               ` Patrice Dumas
2014-12-23 21:57                                 ` Lennart Borgman
2014-12-23 14:29                             ` Yuri Khan
2014-12-23 14:59                               ` Lennart Borgman
2014-12-23 15:37                               ` Ivan Shmakov
2014-12-23 16:08                                 ` Yuri Khan
2014-12-23 16:49                               ` Patrice Dumas
2014-12-23 17:21                                 ` Ivan Shmakov
2014-12-23 18:38                                   ` Gavin Smith
2014-12-23 17:23                                 ` David Kastrup
2014-12-23 17:59                                 ` Yuri Khan
2014-12-24  3:27                                   ` Stephen J. Turnbull
2014-12-25 14:05                                     ` Ineiev
2014-12-25 15:58                                       ` Stephen J. Turnbull
2014-12-25 16:58                                         ` Ineiev
2014-12-25 17:09                                           ` Stephen J. Turnbull
2014-12-25 17:30                                             ` Ineiev
2014-12-25 17:45                                               ` Stephen J. Turnbull
2014-12-25 13:58                                   ` Ineiev
2014-12-23 18:14                                 ` Gavin Smith
2014-12-22  8:12                 ` Have you all gone crazy? Was: On being web-friendly and why info must die Richard Stallman
2014-12-22  8:12                 ` HTML-Info design Richard Stallman
2014-12-22  8:31                   ` Yuri Khan
2014-12-22  9:23                   ` Achim Gratz
2014-12-22  9:42                   ` Stephen J. Turnbull
2014-12-22  9:56                     ` David Kastrup
2014-12-22 10:36                     ` Nic Ferrier
2014-12-22 11:56                       ` Jan Djärv
2014-12-22 12:49                         ` Lennart Borgman
2014-12-22 13:14                           ` David Kastrup
2014-12-22 13:21                           ` Jan Djärv
2014-12-22 13:29                             ` Lennart Borgman
2014-12-22 13:35                               ` Lennart Borgman
2014-12-22 14:27                                 ` David Engster
2014-12-22 14:33                                   ` Lennart Borgman
2014-12-22 14:39                                     ` David Engster
2014-12-22 14:44                                       ` Lennart Borgman
2014-12-22 14:54                                         ` David Engster
2014-12-22 15:00                                           ` Lennart Borgman
2014-12-22 22:18                                 ` Nic Ferrier
2014-12-22 18:33                               ` Jan Djärv
2014-12-22 13:57                         ` Tom
2014-12-22 14:17                           ` Lennart Borgman
2014-12-22 14:41                             ` Tom
2014-12-22 14:46                               ` Lennart Borgman
2014-12-22 18:36                           ` Jan Djärv
2014-12-22 22:22                         ` Nic Ferrier
2014-12-23  7:34                           ` Jan D.
2014-12-23 15:34                             ` Richard Stallman
2014-12-23 15:49                               ` Lennart Borgman
2014-12-24  9:55                                 ` Richard Stallman
2014-12-22 15:52                       ` Eli Zaretskii
2014-12-22 22:06                         ` Nic Ferrier
2014-12-23  3:53                           ` Eli Zaretskii
2014-12-23  7:58                             ` Nic Ferrier
2014-12-23 18:26                               ` Eli Zaretskii
2014-12-23 15:32                             ` Richard Stallman
2014-12-23 16:00                               ` David Kastrup
2014-12-23 16:39                                 ` Stephen J. Turnbull
2014-12-24  9:56                                 ` Richard Stallman
2014-12-23 18:48                               ` Eli Zaretskii
2014-12-24  9:56                                 ` Richard Stallman
2014-12-24 16:33                                   ` Eli Zaretskii
2014-12-24 16:54                                     ` Lennart Borgman
2014-12-23 19:26                               ` Nic Ferrier
2014-12-23 17:02                             ` Stefan Monnier
2014-12-23 17:18                               ` Dmitry Gutov
2014-12-23 19:32                                 ` Nic Ferrier
2014-12-23 21:20                                   ` Dmitry Gutov
2014-12-23 22:16                                     ` Nic Ferrier
2014-12-24  0:23                                       ` David Kastrup
2014-12-24  9:56                                       ` Richard Stallman
2014-12-24 11:36                                         ` Nic Ferrier
2014-12-24 18:00                                           ` Richard Stallman
2014-12-26 11:07                                             ` Steinar Bang
2014-12-26 16:48                                               ` Lennart Borgman
2014-12-26 19:20                                                 ` Steinar Bang
2014-12-26 21:52                                                   ` Lennart Borgman
2014-12-27 11:04                                                     ` Steinar Bang
2014-12-27 13:40                                                       ` Phillip Lord
2014-12-28 12:53                                                         ` Steinar Bang
2014-12-26 21:56                                               ` Richard Stallman
2014-12-24  9:56                                   ` Richard Stallman
2014-12-24  2:37                                 ` Stefan Monnier
2014-12-23 18:57                               ` Eli Zaretskii
2014-12-23 19:40                                 ` Nic Ferrier
2014-12-23 20:41                                   ` Eli Zaretskii [this message]
2014-12-23 21:09                                     ` Nic Ferrier
2014-12-24 16:12                                       ` Eli Zaretskii
2014-12-25 15:39                                         ` Richard Stallman
2014-12-25 15:49                                           ` Nic Ferrier
2014-12-26 11:11                                             ` Richard Stallman
2014-12-26 22:07                                               ` Nic Ferrier
2014-12-27 22:54                                                 ` Richard Stallman
2014-12-27 23:00                                                   ` Lennart Borgman
2014-12-28 23:57                                                     ` Richard Stallman
2014-12-27 23:31                                                   ` Nic Ferrier
2014-12-28  7:13                                                     ` David Kastrup
2014-12-28  9:59                                                       ` Nic Ferrier
2014-12-28 12:49                                                         ` Steinar Bang
2014-12-28 23:58                                                         ` Richard Stallman
2014-12-29  0:15                                                           ` Nic Ferrier
2014-12-29 22:34                                                         ` Filipp Gunbin
2014-12-30  8:59                                                           ` soap-client (Was: HTML-Info design) Michael Albinus
2014-12-28 10:06                                                       ` HTML-Info design David Kastrup
2014-12-28 12:34                                                         ` Nic Ferrier
2014-12-28 13:06                                                           ` David Kastrup
2014-12-28 14:08                                                             ` Nic Ferrier
2014-12-28 23:57                                                     ` Richard Stallman
2014-12-29  0:08                                                       ` Nic Ferrier
2014-12-28  1:10                                                   ` Stefan Monnier
2014-12-28 10:04                                                     ` Nic Ferrier
2014-12-28 13:36                                                     ` Lars Ingebrigtsen
2014-12-28 14:13                                                       ` Nic Ferrier
2014-12-28 14:20                                                         ` David Kastrup
2014-12-28 15:00                                                           ` Lars Ingebrigtsen
2014-12-28 16:44                                                             ` Nic Ferrier
2014-12-28 17:31                                                               ` Ivan Shmakov
2014-12-28 18:00                                                                 ` Search engines (was: HTML-Info design) Lars Ingebrigtsen
2014-12-28 18:47                                                                   ` Lennart Borgman
2014-12-29 16:28                                                                   ` Eli Zaretskii
2014-12-29 16:37                                                                     ` Search engines Lars Ingebrigtsen
2014-12-29 17:52                                                                       ` Lennart Borgman
2014-12-28 14:57                                                         ` HTML-Info design Lars Ingebrigtsen
2014-12-28 16:54                                                           ` Nic Ferrier
2014-12-28 17:24                                                             ` Lars Ingebrigtsen
2014-12-28 19:43                                                               ` Steinar Bang
2014-12-28 20:00                                                                 ` Lars Ingebrigtsen
2014-12-28 21:25                                                                   ` Steinar Bang
2014-12-28 21:45                                                                     ` [OT] HTML5 Ivan Shmakov
2014-12-29  3:31                                                                   ` HTML-Info design Yuri Khan
2014-12-29 11:40                                                                     ` Lars Ingebrigtsen
2014-12-29 12:12                                                                       ` Nic Ferrier
2014-12-29 12:18                                                                         ` David Kastrup
2014-12-29 14:40                                                                           ` Steinar Bang
2014-12-29 12:31                                                                         ` Lars Ingebrigtsen
2014-12-29 14:24                                                                           ` Ivan Shmakov
2014-12-29 14:35                                                                           ` Steinar Bang
2014-12-29 14:36                                                                       ` Yuri Khan
2014-12-29 10:59                                                                 ` Thien-Thi Nguyen
2015-02-26 23:43                                                                   ` Thien-Thi Nguyen
2015-03-02 17:20                                                                     ` Phillip Lord
2015-03-02 17:45                                                                       ` Yuri Khan
2015-03-02 17:58                                                                         ` Phillip Lord
2015-03-02 18:12                                                                           ` Yuri Khan
2015-03-04 12:19                                                                             ` Phillip Lord
2015-03-04 12:51                                                                               ` Yuri Khan
2014-12-29  0:14                                                             ` Stefan Monnier
2014-12-29  9:18                                                               ` Achim Gratz
2014-12-29 13:49                                                                 ` Stefan Monnier
2014-12-29 13:50                                                                 ` Stefan Monnier
2014-12-29 14:06                                                                 ` Stefan Monnier
2014-12-29 23:24                                                               ` Richard Stallman
2014-12-28 19:45                                                         ` Ivan Shmakov
2014-12-28 20:51                                                       ` Stefan Monnier
2014-12-28 21:08                                                         ` David Kastrup
2014-12-28 21:32                                                           ` Saving default font? (was: HTML-Info design) David Kastrup
2014-12-28 21:39                                                             ` Saving default font? Lars Ingebrigtsen
2014-12-28 23:04                                                         ` HTML-Info design Lars Ingebrigtsen
2014-12-28 23:08                                                           ` Lars Ingebrigtsen
2014-12-28 23:45                                                             ` Paul Eggert
2014-12-29  0:01                                                               ` Nic Ferrier
2014-12-29 11:35                                                               ` Lars Ingebrigtsen
2014-12-29  3:32                                                           ` Eli Zaretskii
2014-12-29  7:28                                                             ` Steinar Bang
2014-12-29 10:48                                                               ` Lars Ingebrigtsen
2014-12-29 15:51                                                               ` Eli Zaretskii
2014-12-29  7:55                                                             ` bug#19462: shr: use wrap-prefix when possible, instead of filling the text Ivan Shmakov
2014-12-29  9:55                                                               ` Ivan Shmakov
2014-12-29 14:17                                                               ` word-wrap and wrapping before window-width (was: bug#19462: shr: use wrap-prefix when possible, instead of filling the text) Stefan Monnier
2014-12-29 15:01                                                                 ` word-wrap and wrapping before window-width Ivan Shmakov
2014-12-29 20:02                                                                   ` Eli Zaretskii
2014-12-30  3:12                                                                     ` Stefan Monnier
2014-12-30 18:50                                                                       ` Eli Zaretskii
2014-12-31  2:56                                                                         ` Ivan Shmakov
2014-12-30 17:47                                                                     ` Stefan Monnier
2014-12-31  3:17                                                                     ` Ivan Shmakov
2014-12-31  3:44                                                                       ` Eli Zaretskii
2014-12-31  6:15                                                                         ` Ivan Shmakov
2014-12-31 16:20                                                                           ` Eli Zaretskii
2014-12-31 16:37                                                                             ` Ivan Shmakov
2014-12-31 17:18                                                                               ` Eli Zaretskii
2014-12-31 17:55                                                                                 ` Ivan Shmakov
2014-12-31 18:38                                                                                   ` Eli Zaretskii
2014-12-31 18:57                                                                                     ` Ivan Shmakov
2014-12-31 19:10                                                                                       ` Eli Zaretskii
2014-12-29 19:59                                                                 ` word-wrap and wrapping before window-width (was: bug#19462: shr: use wrap-prefix when possible, instead of filling the text) Eli Zaretskii
2014-12-30  3:04                                                                   ` word-wrap and wrapping before window-width Stefan Monnier
2015-12-25 17:34                                                               ` bug#19462: shr: use wrap-prefix when possible, instead of filling the text Lars Ingebrigtsen
2015-12-25 18:43                                                                 ` Clément Pit--Claudel
2015-12-25 18:55                                                                   ` Lars Ingebrigtsen
2015-12-25 22:48                                                                     ` Clément Pit--Claudel
     [not found]                                                               ` <87bn9ezb2h.fsf__43673.6617972658$1451064984$gmane$org@gnus.org>
2015-12-26  9:13                                                                 ` Ivan Shmakov
2014-12-29 10:41                                                             ` HTML-Info design Lars Ingebrigtsen
2014-12-29 11:25                                                               ` Ivan Shmakov
2014-12-29 11:33                                                                 ` Lars Ingebrigtsen
2014-12-29 12:20                                                                   ` Ivan Shmakov
2014-12-29 12:36                                                                     ` Lars Ingebrigtsen
2014-12-29 13:13                                                                       ` Lennart Borgman
2014-12-29 13:45                                                                       ` Ivan Shmakov
2014-12-29 13:56                                                                         ` Lars Ingebrigtsen
2014-12-29 14:02                                                                           ` Lennart Borgman
2014-12-29 16:25                                                                             ` Lars Ingebrigtsen
2014-12-29 14:35                                                                           ` Ivan Shmakov
2014-12-29 16:11                                                                         ` Eli Zaretskii
2014-12-29 16:33                                                                           ` Lars Ingebrigtsen
2014-12-29 18:21                                                                           ` Stefan Monnier
2014-12-29 18:35                                                                             ` Ivan Shmakov
2014-12-29 23:16                                                                               ` Stefan Monnier
2014-12-30  5:47                                                                                 ` Ivan Shmakov
2014-12-29 16:06                                                                     ` Eli Zaretskii
2014-12-29 18:17                                                                       ` shr: tables Ivan Shmakov
2014-12-29 16:49                                                                     ` HTML-Info design Yuri Khan
2014-12-29 16:04                                                               ` Eli Zaretskii
2014-12-29 16:32                                                                 ` Lars Ingebrigtsen
2014-12-29 17:13                                                                   ` Yuri Khan
2014-12-29 17:44                                                                   ` Eli Zaretskii
2015-01-25  0:01                                                                     ` Lars Ingebrigtsen
2015-01-25 16:06                                                                       ` Eli Zaretskii
2015-01-26  2:16                                                                         ` Lars Ingebrigtsen
2015-01-26  6:20                                                                           ` Eli Zaretskii
2015-01-26  6:52                                                                             ` Lars Ingebrigtsen
2015-01-27  1:26                                                                             ` Lars Ingebrigtsen
2015-01-27 18:15                                                                               ` Eli Zaretskii
2015-01-28  2:27                                                                                 ` Lars Ingebrigtsen
2015-01-28 15:26                                                                                   ` Eli Zaretskii
2015-01-28  3:27                                                                                 ` Pixel-based display functions (was: HTML-Info design) Lars Ingebrigtsen
2015-01-28  7:16                                                                                   ` Pixel-based display functions Thien-Thi Nguyen
2015-01-28 15:33                                                                                     ` Eli Zaretskii
2015-01-28  8:04                                                                                   ` Ivan Shmakov
2015-01-28 10:30                                                                                     ` Lars Ingebrigtsen
2015-01-28 19:20                                                                                     ` Stefan Monnier
2015-01-28 19:29                                                                                       ` Eli Zaretskii
2015-01-28 21:35                                                                                         ` Stefan Monnier
2015-01-29  1:00                                                                                           ` Lars Ingebrigtsen
2015-01-29  4:08                                                                                             ` Stefan Monnier
2015-01-29  6:55                                                                                               ` Lars Ingebrigtsen
2015-01-29 13:30                                                                                                 ` Lars Ingebrigtsen
2015-01-30  6:37                                                                                                   ` Lars Ingebrigtsen
2015-01-30  6:52                                                                                                     ` Eli Zaretskii
2015-01-30  7:27                                                                                                       ` Lars Ingebrigtsen
2015-01-30  9:10                                                                                                         ` Eli Zaretskii
2015-01-30 10:20                                                                                                           ` Andreas Schwab
2015-01-30 11:15                                                                                                             ` Eli Zaretskii
2015-01-30 11:28                                                                                                           ` Lars Ingebrigtsen
2015-01-30 11:56                                                                                                             ` Eli Zaretskii
2015-01-30 15:28                                                                                                               ` Eli Zaretskii
2015-01-30 18:02                                                                                                                 ` Stefan Monnier
2015-01-30 21:36                                                                                                                   ` Eli Zaretskii
2015-01-31  6:25                                                                                                                     ` Stefan Monnier
2015-01-31  6:59                                                                                                                       ` Lars Ingebrigtsen
2015-01-31  7:57                                                                                                                         ` Eli Zaretskii
2015-02-01  1:26                                                                                                                           ` Lars Ingebrigtsen
2015-01-31  7:36                                                                                                                       ` Eli Zaretskii
2015-01-31 20:33                                                                                                                         ` Stefan Monnier
2015-01-31 21:37                                                                                                                           ` martin rudalics
2015-02-01  1:18                                                                                                                             ` Lars Ingebrigtsen
2015-02-01  1:40                                                                                                                               ` Lars Ingebrigtsen
2015-02-01  8:51                                                                                                                                 ` martin rudalics
2015-02-01 12:31                                                                                                                                   ` Lars Ingebrigtsen
2015-02-01 12:52                                                                                                                                     ` martin rudalics
2015-02-01 15:52                                                                                                                                       ` Eli Zaretskii
2015-02-01 16:30                                                                                                                                         ` martin rudalics
2015-02-01 17:31                                                                                                                                           ` Eli Zaretskii
2015-02-01 18:09                                                                                                                                             ` martin rudalics
2015-02-01 18:36                                                                                                                                               ` Eli Zaretskii
2015-02-01 18:42                                                                                                                                                 ` Eli Zaretskii
2015-02-05  4:17                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-05 14:01                                                                                                                                                     ` Stefan Monnier
2015-02-06  1:17                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-06  7:28                                                                                                                                                         ` martin rudalics
2015-02-06  9:39                                                                                                                                                           ` Lars Ingebrigtsen
2015-02-06  9:58                                                                                                                                                             ` Eli Zaretskii
2015-02-06 10:02                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-06 13:30                                                                                                                                                                 ` Eli Zaretskii
2015-02-06  7:45                                                                                                                                                         ` Eli Zaretskii
2015-02-06  9:47                                                                                                                                                           ` Lars Ingebrigtsen
2015-02-06 14:12                                                                                                                                                             ` Eli Zaretskii
2015-02-06 15:22                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-06 15:42                                                                                                                                                                 ` Eli Zaretskii
2015-02-06 16:03                                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-07  4:07                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-07  5:22                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-07  8:09                                                                                                                                                                         ` Eli Zaretskii
2015-02-07  9:10                                                                                                                                                                           ` Lars Ingebrigtsen
2015-02-07  9:42                                                                                                                                                                             ` Eli Zaretskii
2015-02-07  9:57                                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-07 10:18                                                                                                                                                                                 ` Eli Zaretskii
2015-02-07 10:27                                                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-07 15:16                                                                                                                                                                                     ` Stefan Monnier
2015-02-07 10:25                                                                                                                                                                                 ` Display of images in eww (was: Pixel-based display functions) Eli Zaretskii
2015-02-07 10:33                                                                                                                                                                                   ` Display of images in eww Lars Ingebrigtsen
2015-02-07  9:50                                                                                                                                                                             ` Pixel-based display functions Lars Ingebrigtsen
2015-02-07 11:45                                                                                                                                                                             ` martin rudalics
2015-02-07 12:01                                                                                                                                                                               ` Lars Ingebrigtsen
2015-02-07 12:11                                                                                                                                                                                 ` Eli Zaretskii
2015-02-07 12:27                                                                                                                                                                                 ` martin rudalics
2015-02-07 12:02                                                                                                                                                                               ` Eli Zaretskii
2015-02-07 12:28                                                                                                                                                                                 ` martin rudalics
2015-02-07 12:52                                                                                                                                                                                   ` Eli Zaretskii
2015-02-07 13:51                                                                                                                                                                                     ` martin rudalics
2015-02-07 14:03                                                                                                                                                                                       ` Eli Zaretskii
2015-02-07 19:26                                                                                                                                                                                         ` martin rudalics
2015-02-07 11:37                                                                                                                                                                   ` Eli Zaretskii
2015-02-07 11:59                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-07 12:20                                                                                                                                                                       ` Eli Zaretskii
2015-02-07 12:10                                                                                                                                                                     ` Eli Zaretskii
2015-02-07 12:16                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-07 12:42                                                                                                                                                                         ` Lars Ingebrigtsen
2015-02-07 13:08                                                                                                                                                                           ` Eli Zaretskii
2015-02-07 13:21                                                                                                                                                                             ` Lars Ingebrigtsen
2015-02-08 18:37                                                                                                                                                                           ` Eli Zaretskii
2015-02-09  4:12                                                                                                                                                                             ` Lars Ingebrigtsen
2015-02-09 16:36                                                                                                                                                                               ` Eli Zaretskii
2015-02-10  4:48                                                                                                                                                                                 ` Lars Ingebrigtsen
2015-02-10  6:07                                                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-10  6:11                                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-10  7:59                                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-10 15:53                                                                                                                                                                                     ` Eli Zaretskii
2015-02-11  5:32                                                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-10 15:48                                                                                                                                                                                   ` Eli Zaretskii
2015-02-11  5:31                                                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-11 15:49                                                                                                                                                                                       ` Eli Zaretskii
2015-02-18  1:17                                                                                                                                                                                         ` Lars Ingebrigtsen
2015-02-18  3:45                                                                                                                                                                                           ` Eli Zaretskii
2015-02-18  5:53                                                                                                                                                                                             ` Stefan Monnier
2015-02-18 15:29                                                                                                                                                                                               ` Eli Zaretskii
2015-02-19  5:51                                                                                                                                                                                                 ` Lars Ingebrigtsen
2015-02-06 15:18                                                                                                                                                             ` Stefan Monnier
2015-02-06 15:37                                                                                                                                                               ` Eli Zaretskii
2015-02-01 16:00                                                                                                                                       ` martin rudalics
2015-02-02  9:47                                                                                                                                         ` Lars Ingebrigtsen
2015-02-05  4:37                                                                                                                                           ` Lars Ingebrigtsen
2015-02-05  9:38                                                                                                                                             ` martin rudalics
2015-02-05 16:09                                                                                                                                               ` Eli Zaretskii
2015-02-06  7:28                                                                                                                                                 ` martin rudalics
2015-02-06  9:58                                                                                                                                                   ` Lars Ingebrigtsen
2015-02-06 13:02                                                                                                                                                     ` Lars Ingebrigtsen
2015-02-06 13:28                                                                                                                                                     ` Eli Zaretskii
2015-02-06 15:13                                                                                                                                                       ` Lars Ingebrigtsen
2015-02-06 15:29                                                                                                                                                         ` Matthew Carter
2015-02-12 12:32                                                                                                                                                           ` Rebinding local keys Alan Schmitt
2015-02-13  6:15                                                                                                                                                           ` Pixel-based display functions Lars Ingebrigtsen
2015-02-01  3:36                                                                                                                           ` Eli Zaretskii
2015-02-01  6:28                                                                                                                             ` Stefan Monnier
2015-02-01 15:37                                                                                                                               ` Eli Zaretskii
2015-02-02  9:46                                                                                                                                 ` Lars Ingebrigtsen
2015-02-02 15:58                                                                                                                                   ` Eli Zaretskii
2015-02-02 16:43                                                                                                                                 ` Stefan Monnier
2015-02-02 17:21                                                                                                                                   ` Eli Zaretskii
2015-02-02 23:16                                                                                                                                     ` Stefan Monnier
2015-01-31  0:42                                                                                                                 ` Lars Ingebrigtsen
2015-01-31  7:24                                                                                                                   ` Eli Zaretskii
2015-01-31  9:04                                                                                                                 ` Andreas Schwab
2015-01-31 10:01                                                                                                                   ` Eli Zaretskii
2015-01-31 10:15                                                                                                                     ` Andreas Schwab
2015-01-31 11:08                                                                                                                       ` Eli Zaretskii
2015-01-31 12:04                                                                                                                         ` Alexis
2015-01-31 12:41                                                                                                                           ` Eli Zaretskii
2015-01-31 13:25                                                                                                                             ` Andreas Schwab
2015-01-31 14:26                                                                                                                               ` Eli Zaretskii
2015-01-31 13:37                                                                                                                             ` Alexis
2015-01-31 14:30                                                                                                                               ` Eli Zaretskii
2015-01-31 14:23                                                                                                                         ` Artur Malabarba
2015-01-31 15:35                                                                                                                           ` Eli Zaretskii
2015-01-31 14:55                                                                                                                         ` Stephen J. Turnbull
2015-01-31 15:39                                                                                                                           ` Eli Zaretskii
2015-02-01 17:21                                                                                                                             ` Stephen J. Turnbull
2015-01-28 15:27                                                                                   ` Eli Zaretskii
2015-01-29  0:37                                                                                     ` Lars Ingebrigtsen
2014-12-29 23:23                                                           ` HTML-Info design Richard Stallman
2014-12-29 23:02                                                       ` Juri Linkov
2014-12-28 23:57                                                     ` Richard Stallman
2014-12-29  0:13                                                       ` Nic Ferrier
2014-12-29  3:39                                                         ` Eli Zaretskii
2014-12-29 13:45                                                       ` Stefan Monnier
2014-12-29 23:24                                                         ` Richard Stallman
2014-12-29  0:59                                                   ` Juri Linkov
2014-12-29 14:12                                                     ` Stefan Monnier
2014-12-29 14:26                                                       ` Lars Magne Ingebrigtsen
2014-12-29 14:43                                                       ` Nic Ferrier
2014-12-29 18:24                                                         ` Stefan Monnier
2014-12-29 23:24                                                     ` Richard Stallman
2014-12-30  0:09                                                       ` Lennart Borgman
2014-12-30 19:51                                                         ` Richard Stallman
2014-12-30 20:06                                                           ` Lennart Borgman
2014-12-23 22:42                                     ` Lennart Borgman
2014-12-24  0:16                                     ` David Kastrup
2014-12-24  9:56                                       ` Richard Stallman
2014-12-24 12:33                                         ` Ted Zlatanov
2014-12-24 18:00                                           ` Richard Stallman
2014-12-24 18:38                                             ` Ted Zlatanov
2014-12-25 15:39                                               ` Richard Stallman
2014-12-24  2:31                                 ` Stefan Monnier
2014-12-24  3:36                               ` Stephen J. Turnbull
2014-12-23  4:33                           ` Stephen J. Turnbull
2014-12-23  7:57                             ` Nic Ferrier
2014-12-20 18:05           ` Have you all gone crazy? Was: On being web-friendly and why info must die Tom
2014-12-20 18:47             ` Stephen J. Turnbull
2014-12-20 18:58               ` Tom
2014-12-20 19:27                 ` Stephen J. Turnbull
2014-12-20 20:07                   ` Tom
2014-12-20 19:46             ` Lennart Borgman
2014-12-20 20:11               ` Tom
2014-12-21 19:23             ` Mike Gerwitz
2014-12-21 20:01               ` Tom
2014-12-21 21:05                 ` Drew Adams
2014-12-21 21:15                   ` David Kastrup
2014-12-21 21:32                     ` Tom
2014-12-21 22:23                       ` Drew Adams
2014-12-21 22:46                         ` David Kastrup
2014-12-21 23:12                           ` Drew Adams
2014-12-22  1:33                         ` Stephen J. Turnbull
2014-12-22  2:44                           ` Drew Adams
2014-12-22  6:25                             ` Stephen J. Turnbull
2014-12-22  9:18                               ` David Kastrup
2014-12-22  9:08                             ` David Kastrup
2014-12-21 23:12                       ` Harry Putnam
2014-12-22  3:36                       ` Eli Zaretskii
2014-12-22  3:54                         ` Lennart Borgman
2014-12-22  5:25                           ` Yuri Khan
2014-12-22 15:43                             ` Eli Zaretskii
2014-12-22 18:26                               ` Yuri Khan
2014-12-22 18:48                                 ` Eli Zaretskii
2014-12-23  7:26                                   ` Yuri Khan
2014-12-23  1:41                             ` Paul Eggert
2014-12-23  4:02                               ` Eli Zaretskii
2014-12-23  5:01                                 ` Stephen J. Turnbull
2014-12-23 18:23                                   ` Eli Zaretskii
2014-12-24  2:58                                     ` Stephen J. Turnbull
2014-12-24 16:18                                       ` Eli Zaretskii
2014-12-23  4:27                               ` Stephen J. Turnbull
2014-12-23  6:21                               ` Drew Adams
2014-12-23  7:32                                 ` Paul Eggert
2014-12-23 15:34                                   ` Richard Stallman
2014-12-23 17:25                                     ` Paul Eggert
2014-12-24  9:56                                       ` Richard Stallman
2014-12-23 18:51                                     ` Eli Zaretskii
2014-12-24  9:56                                       ` Richard Stallman
2014-12-23 18:25                                   ` Eli Zaretskii
2014-12-23 21:08                                     ` Paul Eggert
2014-12-24 10:09                                       ` Andy Moreton
2014-12-24 16:10                                       ` Eli Zaretskii
2014-12-22  6:41                           ` Stephen J. Turnbull
2014-12-22  9:33                             ` David Kastrup
2014-12-22 11:30                             ` Lennart Borgman
2014-12-22 12:08                               ` David Kastrup
2014-12-22 12:23                                 ` Lennart Borgman
2014-12-22 13:13                                   ` David Kastrup
2014-12-22 13:25                                     ` Lennart Borgman
2014-12-23  3:54                               ` Richard Stallman
2014-12-23  5:24                                 ` Lennart Borgman
2014-12-23 15:33                                   ` Richard Stallman
2014-12-23 16:24                                     ` Stephen J. Turnbull
2014-12-24  9:56                                       ` Richard Stallman
2014-12-25 15:46                                         ` Stephen J. Turnbull
2014-12-26 10:59                                           ` David Kastrup
2014-12-26 13:30                                             ` Tom
2014-12-26 13:57                                               ` David Kastrup
2014-12-26 15:08                                                 ` Lars Ingebrigtsen
2014-12-26 15:28                                                 ` Tom
2014-12-26 15:48                                                   ` David Kastrup
2014-12-26 15:39                                               ` Eli Zaretskii
2014-12-26 21:57                                               ` Richard Stallman
     [not found]                                               ` <<E1Y4ct2-0006JI-UI@fencepost.gnu.org>
2014-12-26 23:29                                                 ` Drew Adams
2014-12-27 22:54                                                   ` Richard Stallman
2014-12-27 23:03                                                     ` Lennart Borgman
2014-12-28  1:07                                                       ` Stefan Monnier
2014-12-28  1:52                                                         ` Lennart Borgman
2014-12-28 23:57                                                       ` Richard Stallman
2014-12-29  7:14                                                         ` Lennart Borgman
2014-12-29  7:33                                                           ` rekado
2014-12-29  7:49                                                             ` Lennart Borgman
2014-12-29 23:23                                                           ` Richard Stallman
2014-12-29 23:57                                                             ` Lennart Borgman
2014-12-30  7:05                                                               ` David Kastrup
2014-12-30  7:08                                                                 ` Lennart Borgman
     [not found]                                               ` <<<E1Y4ct2-0006JI-UI@fencepost.gnu.org>
     [not found]                                                 ` <<e89658d6-8630-441e-88c9-42dfa93c49db@default>
     [not found]                                                   ` <<E1Y50Fv-0003Kv-4k@fencepost.gnu.org>
2014-12-28  3:04                                                     ` Drew Adams
2014-12-26 11:11                                           ` Richard Stallman
2014-12-26 14:27                                             ` Stephen J. Turnbull
2014-12-22 15:44                             ` Eli Zaretskii
2014-12-23  0:29                               ` Stephen J. Turnbull
2014-12-23  3:57                                 ` Eli Zaretskii
2014-12-23  4:43                                   ` Stephen J. Turnbull
2014-12-23 14:52                                     ` Drew Adams
2014-12-23 15:31                                       ` Stephen J. Turnbull
2014-12-23 17:28                                         ` Drew Adams
2014-12-24  2:34                                           ` Stephen J. Turnbull
2014-12-24  9:44                                             ` David Kastrup
2014-12-24  9:55                                         ` Richard Stallman
2014-12-23 15:34                                     ` Richard Stallman
2014-12-23 18:48                                       ` Eli Zaretskii
2014-12-23 18:21                                     ` Eli Zaretskii
2014-12-24  2:45                                       ` Stephen J. Turnbull
2014-12-22  9:24                           ` David Kastrup
2014-12-22 15:42                           ` Eli Zaretskii
2014-12-22 16:03                             ` Tom
2014-12-22 16:11                               ` Lennart Borgman
2014-12-22 16:43                                 ` Eli Zaretskii
2014-12-22 16:42                               ` Eli Zaretskii
2014-12-23  0:35                                 ` Stephen J. Turnbull
2014-12-23  3:58                                   ` Eli Zaretskii
2014-12-23  4:47                                     ` Stephen J. Turnbull
2014-12-23 15:33                                       ` Richard Stallman
2014-12-23 18:22                                       ` Eli Zaretskii
2014-12-24  3:10                                         ` Stephen J. Turnbull
2014-12-21 21:44                     ` Drew Adams
2014-12-24  9:55                       ` Richard Stallman
2014-12-20 10:39       ` Eli Zaretskii
2014-12-21  5:18       ` Karl Fogel
2014-12-21  6:37         ` Stephen J. Turnbull
2014-12-21 14:40           ` Stefan Monnier
2014-12-21 18:50           ` Karl Fogel
2014-12-17 19:49 ` Jay Belanger
2014-12-17 22:17   ` Jose E. Marchesi
2014-12-17 21:16 ` Stefan Monnier

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=83ioh2nlow.fsf@gnu.org \
    --to=eliz@gnu.org \
    --cc=emacs-devel@gnu.org \
    --cc=monnier@iro.umontreal.ca \
    --cc=nferrier@ferrier.me.uk \
    --cc=rms@gnu.org \
    --cc=stephen@xemacs.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).