unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
To: Eli Zaretskii <eliz@gnu.org>
Cc: emacs-devel@gnu.org
Subject: Re: Emacs Mac port
Date: Mon, 15 Apr 2013 18:48:29 +0900	[thread overview]
Message-ID: <wlvc7odt02.wl%mituharu@math.s.chiba-u.ac.jp> (raw)
In-Reply-To: <8361zo6um1.fsf@gnu.org>

>>>>> On Mon, 15 Apr 2013 11:55:34 +0300, Eli Zaretskii <eliz@gnu.org> said:

>> No, it's not an abuse at all.  Invalidating the area that needs to
>> be updated and let the "expose" handler draw is a very standard
>> (sometimes only) way of drawing even on GTK+.

> I was talking specifically about invalidating fractions of screen
> lines (a.k.a. "glyph rows").

> I'm still interested to know why this cannot be done entirely in the
> display back-end.

I'm using the "expose" handler for recovering the display contents
through invalidation, because that is really what it is for.

On Mac, the "expose" handler is called in many situations than you
might expect including outside the control of application code: e.g.,
creating a snapshot of the window image for icons or "Exposé"
(http://support.apple.com/kb/HT2503).  I'm not sure about other
platforms/toolkits, but I wouldn't be surprised if similar things
happen there for providing some fancy features.  Nowadays, drawing
outside the "expose" handler is exceptional and subject to several
restrictions.

>> The similar inconsistency in Emacs display can also happen on other
>> platforms in principle, depending on the timing of the "expose"
>> event.  The only difference is the invalidation happens
>> internally/actively or externally/passively.  That's why the latter
>> is difficult to reproduce.

> I suspect that triggering the event internally is the only situation
> where this can happen, because it might cause the expose event be
> delivered between two successive redisplay cycles that would
> normally take care of the change in the value of
> cursor_in_echo_area.

What about this example?

(progn
  (let ((cursor-in-echo-area t))
    (message "foo")
    (sit-for 0))
  (sleep-for 10))

If the "expose" event happen for the echo area during the execution of
sleep-for, would the cursor be correctly recovered?

>> The reason is simple: the expose handler should recover the
>> contents of the previous redisplay with respect to the requested
>> rectangle.

> And yet we don't see the result on any other platform.

You don't agree the principle for the "expose" handler above (i.e., it
should recover the contents of the previous redisplay)?  Then what is
your expected behavior of the "expose" handler?

I don't insist my patch is correct.  But I'd say the current behavior
is wrong and the fix should be done in the platform-independent part
rather than in the code for a particular platform where the problem
happens to easily emerge.

				     YAMAMOTO Mitsuharu
				mituharu@math.s.chiba-u.ac.jp



  reply	other threads:[~2013-04-15  9:48 UTC|newest]

Thread overview: 320+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-06-10  9:29 Emacs Mac port YAMAMOTO Mitsuharu
2012-06-11  0:36 ` Paul Michael Reilly
2012-06-11  7:29 ` YAMAMOTO Mitsuharu
2012-07-07 18:10   ` Donald Curtis
2012-07-07 18:13     ` Donald Curtis
2012-07-08 11:15       ` Richard Stallman
2012-07-08 14:16         ` Samuel Bronson
2012-07-08 14:54           ` Stefan Monnier
2012-07-08 14:58             ` Donald Curtis
2012-07-26  9:45 ` YAMAMOTO Mitsuharu
2012-07-26 21:50   ` YAMAMOTO Mitsuharu
2012-08-08  6:01     ` YAMAMOTO Mitsuharu
2012-08-27  7:40   ` YAMAMOTO Mitsuharu
2012-09-06  1:35     ` YAMAMOTO Mitsuharu
2012-09-18  9:37       ` YAMAMOTO Mitsuharu
2012-09-20  8:51         ` YAMAMOTO Mitsuharu
2012-10-27  4:57     ` YAMAMOTO Mitsuharu
2012-11-25  7:26       ` YAMAMOTO Mitsuharu
2012-11-25 10:39         ` Leo
2012-11-25 10:59           ` chad
2012-11-25 12:05             ` Leo
2012-11-26  3:26           ` YAMAMOTO Mitsuharu
2012-11-25 19:05         ` Glenn Morris
2012-11-26  2:14           ` Leo
2012-11-26  2:46             ` John Wiegley
2012-11-26 20:38             ` Stefan Monnier
2012-11-26 21:46               ` chad
2012-11-27  2:35                 ` Leo
2012-11-27  4:32                 ` Jan Djärv
2012-11-27 19:33                   ` chad
2012-12-01 14:04                     ` Donald Curtis
2012-12-03 18:58                       ` Jan Djärv
2012-11-27  2:34               ` Leo
2012-12-16  5:07         ` YAMAMOTO Mitsuharu
2013-01-11  7:28           ` YAMAMOTO Mitsuharu
2013-02-09  7:26             ` YAMAMOTO Mitsuharu
2013-02-11 12:53               ` Piotr Kalinowski
2013-02-14 12:02               ` Pavlo Martynenko
2013-02-15 15:48                 ` Piotr Kalinowski
2013-02-15 16:03                   ` Dmitry Antipov
2013-02-15 18:16                     ` Eli Zaretskii
2013-02-15 19:27                     ` Glenn Morris
2013-02-16  6:46                 ` YAMAMOTO Mitsuharu
2013-02-16  8:21                   ` YAMAMOTO Mitsuharu
2013-02-16 11:08                     ` YAMAMOTO Mitsuharu
2013-03-05  6:02               ` YAMAMOTO Mitsuharu
2013-03-11  3:41                 ` YAMAMOTO Mitsuharu
2013-04-11  9:22                   ` YAMAMOTO Mitsuharu
2013-04-14  6:31                     ` YAMAMOTO Mitsuharu
2013-04-14 11:49                       ` Eli Zaretskii
2013-04-15  2:17                         ` YAMAMOTO Mitsuharu
2013-04-15  5:44                           ` Eli Zaretskii
2013-04-15  7:59                             ` YAMAMOTO Mitsuharu
2013-04-15  8:55                               ` Eli Zaretskii
2013-04-15  9:48                                 ` YAMAMOTO Mitsuharu [this message]
2013-04-15 10:57                                   ` Eli Zaretskii
2013-04-16  0:17                                     ` YAMAMOTO Mitsuharu
2013-04-16  2:11                                       ` YAMAMOTO Mitsuharu
2013-04-16  6:49                                       ` Eli Zaretskii
2013-04-16 10:15                                         ` YAMAMOTO Mitsuharu
2013-04-16 10:48                                           ` YAMAMOTO Mitsuharu
2013-04-16 13:20                                           ` Stefan Monnier
2013-04-16 14:38                                             ` Eli Zaretskii
2013-04-16 23:52                                             ` YAMAMOTO Mitsuharu
2013-04-17  5:08                                               ` Jan Djärv
2013-04-17  5:46                                                 ` YAMAMOTO Mitsuharu
2013-04-17  6:36                                                   ` Jan Djärv
2013-04-19  3:58                                                     ` YAMAMOTO Mitsuharu
2013-04-19  7:08                                                       ` Jan Djärv
2013-04-22  8:54                                           ` Nix
2013-04-23  3:18                                             ` YAMAMOTO Mitsuharu
2013-04-17  1:09                                   ` YAMAMOTO Mitsuharu
2013-05-11  6:43                     ` YAMAMOTO Mitsuharu
2013-09-21  9:23                       ` YAMAMOTO Mitsuharu
2013-10-24  8:40                         ` YAMAMOTO Mitsuharu
2013-10-24  9:47                           ` Leo Liu
2013-10-24 10:18                             ` YAMAMOTO Mitsuharu
2013-10-25  0:56                               ` YAMAMOTO Mitsuharu
2013-10-25  4:38                               ` YAMAMOTO Mitsuharu
2013-10-27  6:42                           ` YAMAMOTO Mitsuharu
2013-11-06  8:18                           ` YAMAMOTO Mitsuharu
2013-12-27  8:29                             ` YAMAMOTO Mitsuharu
2014-02-27 10:03                               ` YAMAMOTO Mitsuharu
2014-04-01  1:10                                 ` YAMAMOTO Mitsuharu
2014-04-03 15:12                                   ` David Reitter
2014-04-03 17:30                                     ` Leo Liu
2014-04-04  0:44                                       ` Chris Van Dusen
2014-04-04  1:24                                         ` Xu Xin
2014-04-04  1:59                                           ` Chris Van Dusen
2014-04-04  0:07                                     ` YAMAMOTO Mitsuharu
2014-04-14  3:00                                   ` YAMAMOTO Mitsuharu
2014-04-14  8:16                                     ` YAMAMOTO Mitsuharu
2014-05-12  8:42                                     ` YAMAMOTO Mitsuharu
2014-06-27  8:24                                       ` YAMAMOTO Mitsuharu
2014-08-15  6:19                                         ` YAMAMOTO Mitsuharu
2014-10-02  3:54                                           ` YAMAMOTO Mitsuharu
2014-10-03 14:27                                             ` Angelo Graziosi
2014-10-03 21:25                                               ` Xin Xu
2014-10-03 23:20                                                 ` Angelo Graziosi
2014-10-04  8:28                                                   ` Angelo Graziosi
2014-10-06  4:21                                             ` Kazu Yamamoto
2014-10-06  8:21                                               ` YAMAMOTO Mitsuharu
2014-10-08  2:51                                                 ` Kazu Yamamoto
2014-10-17 23:30                                             ` YAMAMOTO Mitsuharu
2014-10-21  4:44                                             ` YAMAMOTO Mitsuharu
2014-10-21  5:18                                               ` YAMAMOTO Mitsuharu
2014-11-03  7:08                                               ` YAMAMOTO Mitsuharu
2014-11-03 12:56                                                 ` YAMAMOTO Mitsuharu
2014-11-04  3:40                                                   ` Leo Liu
2014-11-21  4:36                                                 ` YAMAMOTO Mitsuharu
2014-11-27  1:43                                                   ` Kazu Yamamoto
2014-11-28  0:36                                                     ` YAMAMOTO Mitsuharu
2014-11-28  6:14                                                   ` Sam Steingold
2015-01-29  3:51                                                   ` YAMAMOTO Mitsuharu
2015-02-18 10:13                                                     ` YAMAMOTO Mitsuharu
2015-02-18 10:34                                                       ` YAMAMOTO Mitsuharu
2015-03-09  8:45                                                       ` YAMAMOTO Mitsuharu
2015-03-27 10:55                                                         ` YAMAMOTO Mitsuharu
2015-03-31 18:07                                                           ` Sam Steingold
2015-03-31 18:42                                                             ` Steinar Bang
2015-03-31 19:00                                                               ` John Wiegley
2015-04-01  0:06                                                               ` YAMAMOTO Mitsuharu
2015-04-01 17:21                                                                 ` Sam Steingold
2015-04-01 20:58                                                                   ` Stefan Monnier
2015-04-02  0:04                                                           ` YAMAMOTO Mitsuharu
2015-04-05 23:55                                                             ` YAMAMOTO Mitsuharu
2015-04-11  1:30                                                               ` YAMAMOTO Mitsuharu
2015-04-11 22:28                                                                 ` John Wiegley
2015-05-17  6:04                                                                 ` YAMAMOTO Mitsuharu
2015-07-13  4:29                                                                   ` YAMAMOTO Mitsuharu
2015-08-25  1:56                                                                     ` YAMAMOTO Mitsuharu
2015-09-27  8:24                                                                       ` YAMAMOTO Mitsuharu
2015-10-30  2:52                                                                         ` YAMAMOTO Mitsuharu
2015-10-31  2:39                                                                           ` YAMAMOTO Mitsuharu
2015-12-09  3:28                                                                             ` YAMAMOTO Mitsuharu
2015-12-13  4:19                                                                               ` YAMAMOTO Mitsuharu
2015-12-24 10:29                                                                                 ` YAMAMOTO Mitsuharu
2015-12-24 17:28                                                                                   ` John Wiegley
2015-12-28  7:51                                                                                     ` YAMAMOTO Mitsuharu
2015-12-28  8:44                                                                                       ` Bozhidar Batsov
2015-12-29  6:47                                                                                         ` Richard Stallman
2015-12-29  9:40                                                                                           ` Jean-Christophe Helary
2015-12-29 10:43                                                                                             ` David Kastrup
2015-12-29 11:18                                                                                             ` CHENG Gao
2015-12-30  6:09                                                                                               ` Richard Stallman
2015-12-30  6:26                                                                                                 ` CHENG Gao
2015-12-30  6:09                                                                                             ` Richard Stallman
2015-12-28 20:29                                                                                       ` John Wiegley
2015-12-28 22:35                                                                                         ` David Engster
2015-12-28 22:54                                                                                           ` John Wiegley
2015-12-29  6:51                                                                                             ` Richard Stallman
2015-12-29 13:24                                                                                               ` Rasmus
2015-12-31  6:30                                                                                                 ` Richard Stallman
2015-12-31 19:50                                                                                                   ` Chad Brown
2015-12-31 21:36                                                                                                     ` Random832
2016-01-04 22:31                                                                                                       ` Xu Xin
2016-01-05  0:26                                                                                                         ` Andrés Ramírez
2016-01-01  2:29                                                                                                     ` Richard Stallman
2016-01-01  6:54                                                                                                   ` Daniel Colascione
2016-01-01  7:36                                                                                                     ` Jean-Christophe Helary
2016-01-01  7:47                                                                                                       ` Daniel Colascione
2016-01-01 17:01                                                                                                         ` Ingo Lohmar
2016-01-01 19:35                                                                                                           ` Bozhidar Batsov
2016-01-02  7:54                                                                                                             ` YAMAMOTO Mitsuharu
2016-01-02 22:21                                                                                                               ` John Wiegley
2016-01-03  7:13                                                                                                                 ` YAMAMOTO Mitsuharu
2016-01-03 12:36                                                                                                                   ` Bozhidar Batsov
2016-01-04  0:38                                                                                                                     ` YAMAMOTO Mitsuharu
2016-01-04  0:42                                                                                                                       ` John Wiegley
2016-01-05  1:00                                                                                                                         ` YAMAMOTO Mitsuharu
2016-01-05  2:00                                                                                                                           ` Chad Brown
2016-01-05  4:53                                                                                                                             ` John Wiegley
2016-01-06 10:14                                                                                                                               ` Alan Schmitt
2016-01-05 10:50                                                                                                                             ` Martin Yrjölä
2016-01-05 12:37                                                                                                                           ` João Távora
2016-01-05 13:48                                                                                                                             ` Paul Michael Reilly
2016-01-03 22:49                                                                                                   ` John Wiegley
2015-12-29 17:14                                                                                               ` John Wiegley
2015-12-29 17:50                                                                                                 ` Clément Pit--Claudel
2015-12-30  6:11                                                                                                 ` Richard Stallman
2015-12-30 19:57                                                                                                   ` John Wiegley
2015-12-30 20:54                                                                                                     ` Chad Brown
2015-12-31  0:41                                                                                                     ` YAMAMOTO Mitsuharu
2015-12-31  1:06                                                                                                       ` Paul Eggert
2015-12-31  8:28                                                                                                     ` Adrian.B.Robert
2015-12-29 18:00                                                                                               ` Clément Pit--Claudel
2015-12-29 18:09                                                                                                 ` Dmitry Gutov
2015-12-29 18:19                                                                                                   ` David Kastrup
2015-12-29 19:07                                                                                                     ` Dmitry Gutov
2015-12-29 21:46                                                                                                       ` Alex Dunn
2015-12-29 22:37                                                                                                         ` John Wiegley
2015-12-29 22:57                                                                                                           ` David Kastrup
2015-12-29 23:23                                                                                                             ` John Wiegley
2015-12-30  9:44                                                                                                               ` David Kastrup
2015-12-30  6:15                                                                                                           ` CHENG Gao
2015-12-29 18:30                                                                                                   ` Clément Pit--Claudel
2015-12-29 18:57                                                                                                     ` Christopher W Carpenter
2015-12-29 19:03                                                                                                       ` Clément Pit--Claudel
2015-12-29 19:53                                                                                                       ` John Wiegley
2015-12-29 20:03                                                                                                         ` Christopher W Carpenter
2015-12-30  6:11                                                                                                     ` Richard Stallman
2015-12-30 10:32                                                                                                       ` Clément Pit--Claudel
2015-12-31  6:30                                                                                                         ` Richard Stallman
2015-12-30 10:39                                                                                                       ` David Kastrup
2016-04-22 23:51                                                                                 ` YAMAMOTO Mitsuharu
2016-04-30  5:57                                                                                   ` YAMAMOTO Mitsuharu
2016-05-01  9:06                                                                                     ` YAMAMOTO Mitsuharu
2016-06-26  4:12                                                                                     ` YAMAMOTO Mitsuharu
2016-07-25  4:44                                                                                       ` YAMAMOTO Mitsuharu
2016-08-22  0:37                                                                                         ` YAMAMOTO Mitsuharu
2016-08-22  7:31                                                                                           ` Marius Kjeldahl
2016-08-22 10:41                                                                                             ` Marius Kjeldahl
2016-08-23  0:07                                                                                               ` YAMAMOTO Mitsuharu
2016-08-23  9:02                                                                                                 ` Alan Third
2016-08-24  1:54                                                                                                   ` YAMAMOTO Mitsuharu
2016-08-29 19:56                                                                                                     ` [PATCH] Fix synthetic bold on macOS retina displays Alan Third
2016-09-18  6:39                                                                                           ` Emacs Mac port YAMAMOTO Mitsuharu
2016-09-18  7:32                                                                                             ` martin rudalics
2016-09-18  7:48                                                                                               ` YAMAMOTO Mitsuharu
2016-09-18  8:15                                                                                                 ` martin rudalics
2016-09-18  8:39                                                                                                   ` YAMAMOTO Mitsuharu
2016-09-18  9:52                                                                                                     ` martin rudalics
2016-09-18 14:46                                                                                                       ` Eli Zaretskii
2016-09-18 15:15                                                                                                         ` martin rudalics
2016-09-18 15:41                                                                                                           ` Eli Zaretskii
2016-09-18 17:06                                                                                                             ` martin rudalics
2016-09-18 17:19                                                                                                               ` Eli Zaretskii
2016-09-19  8:19                                                                                                                 ` martin rudalics
2016-09-19  2:01                                                                                                       ` YAMAMOTO Mitsuharu
2016-09-19  8:19                                                                                                         ` martin rudalics
2016-09-19  8:42                                                                                                           ` YAMAMOTO Mitsuharu
2016-10-30  5:55                                                                                             ` YAMAMOTO Mitsuharu
2017-02-04  5:46                                                                                               ` YAMAMOTO Mitsuharu
2017-02-05  2:35                                                                                                 ` Xu Xin
2017-02-05  2:41                                                                                                   ` YAMAMOTO Mitsuharu
2017-04-21 23:54                                                                                                 ` YAMAMOTO Mitsuharu
2017-05-22  3:31                                                                                                   ` YAMAMOTO Mitsuharu
2017-07-27  4:54                                                                                                     ` YAMAMOTO Mitsuharu
2017-08-24  1:14                                                                                                       ` YAMAMOTO Mitsuharu
2017-09-12  5:31                                                                                                         ` YAMAMOTO Mitsuharu
2017-09-13  3:46                                                                                                           ` YAMAMOTO Mitsuharu
2017-09-26  2:28                                                                                                             ` YAMAMOTO Mitsuharu
2017-10-12  8:12                                                                                                               ` YAMAMOTO Mitsuharu
2018-04-15  7:55                                                                                                               ` YAMAMOTO Mitsuharu
2018-05-29  3:45                                                                                                                 ` YAMAMOTO Mitsuharu
2018-06-10  6:09                                                                                                                   ` YAMAMOTO Mitsuharu
2018-09-09  1:11                                                                                                                     ` YAMAMOTO Mitsuharu
2018-10-24  3:58                                                                                                                       ` YAMAMOTO Mitsuharu
2018-11-06  7:51                                                                                                                         ` YAMAMOTO Mitsuharu
2018-11-16  9:56                                                                                                                         ` YAMAMOTO Mitsuharu
2018-12-21 22:28                                                                                                                           ` Leo Liu
2018-12-21 22:59                                                                                                                             ` Tim Cross
2018-12-23  3:40                                                                                                                               ` Leo Liu
2018-12-22  7:31                                                                                                                             ` Eli Zaretskii
2019-03-22  5:28                                                                                                                           ` YAMAMOTO Mitsuharu
2019-03-22  9:43                                                                                                                             ` Konstantin Kharlamov
2019-03-22 18:11                                                                                                                               ` Stefan Monnier
2019-03-22 23:14                                                                                                                                 ` Van L
2019-03-23  0:15                                                                                                                                 ` Jean-Christophe Helary
2019-03-23 11:57                                                                                                                                   ` Alan Third
2019-03-27 19:40                                                                                                                                     ` Charles A. Roelli
2019-03-24  1:44                                                                                                                                   ` Richard Stallman
2019-03-24  6:10                                                                                                                                     ` Van L
2019-04-14  6:32                                                                                                                             ` YAMAMOTO Mitsuharu
2019-08-23  5:50                                                                                                                               ` YAMAMOTO Mitsuharu
2019-08-29  0:54                                                                                                                                 ` YAMAMOTO Mitsuharu
2019-10-08  3:40                                                                                                                                   ` YAMAMOTO Mitsuharu
2019-12-03  8:10                                                                                                                                   ` YAMAMOTO Mitsuharu
2019-12-03  9:02                                                                                                                                     ` Pankaj Jangid
2019-12-04  1:08                                                                                                                                       ` YAMAMOTO Mitsuharu
2019-12-04 10:45                                                                                                                                         ` VanL
2019-12-05  0:44                                                                                                                                           ` YAMAMOTO Mitsuharu
2019-12-05  5:16                                                                                                                                             ` VanL
2019-12-05  7:03                                                                                                                                               ` VanL
2019-12-04 12:09                                                                                                                                         ` Pankaj Jangid
2019-12-05  1:01                                                                                                                                           ` YAMAMOTO Mitsuharu
2019-12-05  4:07                                                                                                                                             ` Pankaj Jangid
2020-03-23  5:34                                                                                                                                     ` YAMAMOTO Mitsuharu
2020-03-24  3:25                                                                                                                                       ` YAMAMOTO Mitsuharu
2020-04-04 11:22                                                                                                                                         ` HaiJun Zhang
2020-04-04 11:33                                                                                                                                           ` Eli Zaretskii
2020-04-04 11:46                                                                                                                                             ` HaiJun Zhang
2020-04-04 12:02                                                                                                                                               ` HaiJun Zhang
2020-08-11  4:17                                                                                                                                       ` YAMAMOTO Mitsuharu
2020-11-12  8:09                                                                                                                                         ` YAMAMOTO Mitsuharu
2020-11-12  8:34                                                                                                                                           ` Jean Louis
2020-11-12  9:35                                                                                                                                             ` YAMAMOTO Mitsuharu
2021-03-27  7:59                                                                                                                                           ` YAMAMOTO Mitsuharu
2021-11-13  7:51                                                                                                                                             ` YAMAMOTO Mitsuharu
2021-11-13 12:22                                                                                                                                               ` Jean-Christophe Helary
2021-11-22 13:33                                                                                                                                               ` Po Lu
2021-11-22 14:55                                                                                                                                                 ` Eli Zaretskii
2021-11-23  6:16                                                                                                                                                   ` YAMAMOTO Mitsuharu
2021-11-23  7:08                                                                                                                                                     ` Po Lu
2021-11-23 12:33                                                                                                                                                     ` Eli Zaretskii
2022-04-06  8:12                                                                                                                                               ` YAMAMOTO Mitsuharu
2022-09-13  2:19                                                                                                                                                 ` YAMAMOTO Mitsuharu
2023-08-05  9:05                                                                                                                                                   ` YAMAMOTO Mitsuharu
2013-03-11 18:58                 ` Current HEAD doesn't build on OSX Randal L. Schwartz
2013-03-11 19:43                   ` Randal L. Schwartz
2013-03-12 10:44                   ` Darren Hoo
2013-03-12 11:55                     ` Dmitry Gutov
2013-03-12 13:52                       ` Tassilo Horn
2013-03-12 15:02                         ` Randal L. Schwartz
2013-03-12 16:04                     ` Glenn Morris
  -- strict thread matches above, loose matches on Subject: below --
2016-04-23 13:03 Emacs Mac port Angelo Graziosi
2016-04-24 19:40 ` Angelo Graziosi
2016-04-25  0:30   ` YAMAMOTO Mitsuharu
2017-10-16 16:01 Konrad Podczeck
2017-10-17  1:41 ` YAMAMOTO Mitsuharu
2017-10-30  7:38   ` YAMAMOTO Mitsuharu
2017-10-30  8:25     ` martin rudalics
2017-10-30  8:57       ` YAMAMOTO Mitsuharu
2017-10-31  8:41         ` martin rudalics
2017-10-30 12:43     ` Konrad Podczeck
2018-11-19  7:21 Aaron Madlon-Kay
2018-11-20  0:35 ` YAMAMOTO Mitsuharu
2018-11-20  1:07   ` Aaron Madlon-Kay
2018-11-20 10:47     ` YAMAMOTO Mitsuharu
2019-03-22 19:27 Konrad Podczeck

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=wlvc7odt02.wl%mituharu@math.s.chiba-u.ac.jp \
    --to=mituharu@math.s.chiba-u.ac.jp \
    --cc=eliz@gnu.org \
    --cc=emacs-devel@gnu.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).