unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
From: Drew Adams <drew.adams@oracle.com>
To: Juanma Barranquero <lekktu@gmail.com>
Cc: martin rudalics <rudalics@gmx.at>,
	Emacs developers <emacs-devel@gnu.org>
Subject: RE: How to restore the layout?
Date: Tue, 2 Jul 2013 12:40:10 -0700 (PDT)	[thread overview]
Message-ID: <54cfe77b-f378-4402-b185-21372177ed60@default> (raw)
In-Reply-To: <CAAeL0SR78VzmMqqkCgh_j+MUbjn=cQ=BCFXJPvVLk9=-G6V7yw@mail.gmail.com>

> > I was talking only about a standalone minibuffer frame.  Sorry if that
> > was not clear.  How is it different?  In the ways I've already described,
> > i.e., the uses I described as being, I think, typical.
> 
> I disagree about "typical" here. The alternate use case I'm suggesting
> is neither convoluted nor artificial.

1. I was quite clear that it is just a guess on my part wrt the typical
or common use case for a minibuffer frame.  I gave reasons why I think
this might be likely, including the fact that to have such a frame a
user must set it up during startup, and `minibuffer-frame-alist' is a
customization.

2. No one has said that anything you have suggested is convoluted or
artificial.  I don't even think that, let alone have not said it.

> > And in the fact that it uses `minibuffer-frame-alist', which supersedes
> > `default-frame-alist'.  IOW, almost the same answer for why we even have
> > a `minibuffer-frame-alist' user option.
> 
> Well, the initial frame also has a `initial-frame-alist' that
> supersedes `default-frame-alist', but you're not proposing to treat it
> different that other (non-minibuffer-only) frames.

I'm no expert on any of this stuff, but certainly not about
`initial-frame-alist'.  Its doc string, like that of `minibuffer-frame-alist',
says that it "supersedes" `default-frame-alist', without saying what that
means.

What I said about `m-f-alist' is based on my experience with it.  I have
almost no experience with `i-f-a'.  If you feel it should be handled the
same as is `m-f-a', give that a try.

> > In general, yes.  My assumption was that that is not generally the case
> > for a standalone minibuffer frame.  Whereas there can often be many
> > frames that are built off of the `default-frame-alist', and which a user
> > might well move here and there and resize, I don't see that kind of thing
> > happening typically for a minibuffer frame.
> 
> My assumption is that, just as `initial-frame-alist' is a template for
> the first frame (but changes are persistently saved by
> desktop-reuse-frames), `minbuffer-frame-alist' is a template for the
> minibuffer-only frame, but once created, the user is free to change it
> (and expect these changes to stick).

We have different assumptions wrt the typical use of `m-f-alist'.

Yes, anyone is free to change properties of the minibuffer frame after it
is created.  So what?  It does not follow that everyone or most will want
Desktop to save and restore such changes.  Time will tell, I guess.

Here's another data point you might consider: AFAIK, Desktop will save and
restore frame parameters, but those parameter values at any time do not
necessarily specify the frame completely from a user point of view.

What do I mean by that?

In oneonone.el, for example, the position and size of the minibuffer frame
is customizable.  But generally I recommend that absolute values not be 
used for this and that users instead let the code determine the width and
necessary `top' value to position the frame across the full screen width
at screen bottom.

That way, the frame is created correctly regardless of what screen you
view it on: laptop, large monitor, remote VNC window mgr...

IOW, whereas what frame parameters record are literal values, what a user
might want to express in some cases can be a behavior that does not reduce
to a literal value.  In Lisp terms, if frame paramters included functional
values then we might be talking apples & apples, but until then we are
talking apples & oranges.

Note that the recently added `fullscreen' parameter values are similar
to specifying functional behavior: they do not specify frame boundaries
explicitly but record the user wish that the frame fill the full screen
or whatever.  The implementation presumably leaves it up to the window
mgr to implement that function, and one cannot specify an arbitrary
function, but the idea is a bit similar: we do not record literal frame
coordinates & boundaries for a fullscreen frame.

If useful or common values (symbols) were implemented to encompass the
idea of a minibuffer frame extending across the screen bottom then one
would not need code to do that using code.  Until then, simply
recording and playing back frame parameters will not accomplish the
same thing.

It's just an example.

> > I nevertheless see changes to the
> > minibuffer frame due to the dynamic use of Emacs to be something (a)
> > rare and (b) you probably do not want to save.
> 
> That's the point where we disagree. That said, you have much more
> experience with minibuffer-only frames than me. It'd be good if other
> minibuffer-only-frame users would speak now.

I have experience only in a limited range.  I've made Emacs do more or
less what I want; that's all.  I can't speak to what others might want.

But I would point to the experience of lots of people with Epoch, back
in the day - FWIW.  As I mentioned, a standalone minibuffer was optional,
but it was the default.  I never saw anyone who chose not to use it (and
I saw lots of people using Epoch).  And the frame was at the bottom,
stretching the full screen width (IIRC, and I think I do).

So my own setup is so particular, it is copied from something that
lots of people used to use.  Yes, GNU Emacs has taken over the landscape,
but that was not because of Epoch's standalone minibuffer.  FWIW.

> > I think I saw that you mentioned that you cannot currently save/restore
> > a frame's font.  To me, that ability is far more important that letting
> > users record and restore any dynamic changes they might have made to a
> > standalone minibuffer frame.  It is important to me, at least.
> 
> Not saving the font parameter right now is not a decision or a
> feature, just a stopgap measure. Eventually I'll have to revamp the
> whole "save/restore frame parameters" code to allow more flexibility,
> and then I'll re-save font.

Sounds good.  That was my guess, that this is just something that you
cannot implement immediately, for whatever reasons.  Nothing wrong with
that.  It is wonderful that you are working on this general enhancement
to Desktop.

> > (I realize that not everything will be perfect in the first draft.
> > I'm just saying that, to me, restoring the font is important.)
> 
> Yes, agreed.
> 
> > Where would you expect that you would be moving it, and why?  Again,
> > I'm not talking about customizing where you want it, and perhaps
> > changing your mind about that customization once in a while.
> 
> In my tests of the minibuffer-only frame (MOF from now on), I like to
> have it near the main, or only, frame. So if I move the frame aside,
> because I want to see something that's below it (let's say I'm typing
> something related to something I'm reading in a browser tab), I
> immediately move the MOF too. I suppose that's uncommon for you
> because you put the MOF at a fixed place in the screen, likely not
> overlapping or overlapped with any other application's window. That's
> not how I work, I have Chrome open all the time, and it uses perhaps
> 80% of my screen space, so other things, including Emacs, do overlap
> it. Moving Emacs aside is a pretty common operation for me.

Got it.  I could be wrong, but I'd suggest using it for a month and then
see what you think.  Not joking.  I don't pretend to have discovered the
only way of working with frames - far from it.  But I have a right to
guess. ;-)

> > I was trying to make your job easier by pointing out that
> > in most cases no one need that feature.  But if it works well then I
> > have no problem with it.
> 
> "Works well" is not how I would define it right now. "Works most of
> the time" is more like it, but of course, that difference is quite
> important. So I don't reject at all the idea of falling back into the
> do-not-save-MOF implementation strategy; I'm just wasting a little
> time trying alternatives.

That's good to do, and not a waste, no doubt.

> > Here's a probably lousy analogy, but it is one that comes to my mind:
> > The Windows task bar.  You can move it to the top, bottom, left or
> > right.  Most people do not move it every 30 minutes.  Moving it is,
> > effectively, customizing its position.  But yes, the fact that Windows
> > remembers the last position as the customization is fine.
> 
> Nothing overlaps with my Windows taskbar, so I don't need to move it
> anywhere.

Things don't overlap my MF, unless I put them there (e.g., make something
fullscreen).  But I do hear what you are saying (and I did say it was a
lousy analogy - if it doesn't help, ignore it).
 
> > if Desktop handles that right then it lets users not worry about setting
> > things up using Lisp code.  They can simply drag the frame to where they
> > want it and give it the size they want, and that will be remembered
> > (provided they start up with Desktop) each time.  Formidable!
> 
> That's what I'm trying to do.

Great.
 
> > You might want to reread what I wrote about the creation of a
> > minibuffer frame.  To have one, you need to create it during startup.
> > That means that users do so in their Emacs startup.  And there can be at
> > most one such frame.
> 
> Not exactly, though it will likely not work as expected:
> 
> (progn
>    (dotimes (i 5) (make-frame '((minibuffer . only) (visibility . icon))))
>    (mapcar (lambda (f) (frame-parameter f 'minibuffer)) (frame-list)))

OK.

> > If a user uses Desktop to restore the last state and that state now
> > tries to also restore a saved minibuffer frame, then that restoration
> > code needs to check whether there is already a minibuffer frame, and if
> > so then either (as I said before): (a) ignore its saved info for the
> > minibuffer frame (leave the user's frame alone) or (b) MODIFY the
> > already existing minibuffer frame - as opposed to trying to create
> > another such.
> > 
> > If you implement a way for a user to choose between (a) and (b), no
> > problem.  If you offer only (b) then that would be limiting for a
> > user who wants to control the frame properties via setup at start time.
> 
> Not really. She could use desktop-after-read-hook to reapply settings,
> for example. Some things we should allow via customization options,
> some others via hooks, etc. It is too soon to decide which one belongs
> to each category, I think. And customization options can always be
> added later as needed.

Sounds like trying to make a virtue of the necessity of a particular
implementation.  I sincerely hope that you allow for both (a) and (b)
and give users a choice.

> > Users use frames for different things.  A user might well have
> > particular other frames, besides the minibuffer, that s?he wants to
> > have defined each time based on a startup-time setup, i.e., that s?he
> > does not want to have changed by Desktop.
> 
> Yes. Currently there's no hook run just before saving the frames and
> buffers, but I will have to add one.

In general, I would suggest saving stuff but letting restoration ignore
some of it, according to user preference etc.  IOW, it seems like it
would be more flexible to save and optionally not restore than to
optionally not save (and then not have the possibility of restoring).

This is assuming other things are equal, which they might not be.
But if they are, then late binding here is better: let the decision
be made at the next session.

What I said earlier about use with different monitors applies here as
well.  Your next session might be with a different monitor or on a
different platform.  Users might use desktop files across different
platforms, equipment/media, whatever.  You can easily do that now,
using desktop bookmarks, for instance.  As a general rule, it is
more flexible to let the consuming software/session decide, not the
producing software/session.

Again, assuming other things are equal, which you can judge better
than I.

> A practical example where I need
> it: I very often have IELM buffers open. IELM is the kind of buffer
> that does not make real sense to save&restore, because its usefulness
> often depends on its state (variables changed, commands typed, etc.).
> So I add it to desktop-buffers-not-to-save or
> desktop-modes-not-to-save... But window-state-put will restore the
> "buffer", if empty and in fundamental-mode. So I really need to be
> able to run a hook before desktop--save-frames which runs
> (delete-windows-on (get-buffer "*ielm*") 'all).

Or accomplish the same end some other way.  Worth thinking about.

> > IOW, once you get something like a minibuffer frame the way you generally
> > want it, you want to be able to say Basta! Hands off from now on, until I
> > change my mind.
> 
> Also called M-: (insert (format "(setq minibuffer-frame-alist '%S)"
> (frame-parameters default-minibuffer-frame))) <RET> plus deleting the
> MOF.plus some hand-tweaking. ;-)

Hopefully accomplish the same end another way.  This is something users
should be able to do easily.

> > But, as I mentioned, since a minibuffer frame must be created during
> > startup
> 
> That's not really correct. You can do, at any point in time:
> 
> (let ((f (make-frame '((minibuffer . only)
>       (height . 2)
>       (tool-bar-lines .0)
>       (menu-bar-lines . 0)))))
>   (make-frame `((minibuffer . ,(minibuffer-window f)))))

AFAIK, you will never be able to get rid of the frame created initially,
which has its own minibuffer.  That was the point here.  If you want a
standalone minibuffer frame, and if you want it to be the only such
(which I would again argue is the typical case of MF users), then AFAIK
you must create the MF at the outset.

Believe me, I've submitted enough bug reports for which I had to point
out a startup sequence, because adding a standalone minibuffer frame
later does not give you the same behavior.

> > Now just maybe, if you make Desktop get in the act and try to restore
> > the minibuffer frame, the user will then need to start worrying about
> > just when to invoke Desktop, relative to the user code that creates the
> > minibuffer frame.
> 
> M-x report-emacs-bug <RET>

Better to think about some of these things ahead of time.  Sounds like
you're thinking more in terms of hooks to dance around Desktop than
customization options to prevent it from doing the things you would have
users dance around.  I could be wrong but that's my impression based on
some of what you wrote above.  I would sooner you implemented (a) and
(b) above, and let users choose.

> > Or maybe s?he will now have to worry about having
> > conditional code that checks whether desktop (which might have run first)
> > has already created a standalone minibuffer, and then skip doing that
> > in the user startup code.
> 
> At some point, for some combination of user customizations and use
> cases, the user will have to resort to worring and checking and
> configuring via hooks. I wouldn't have ~2,000 lines in my .emacs if
> that were not the case.

Or decide it's not worth it and not use Desktop to restore frames.

I hope, at least, that users will be able to use Desktop without the
frame/window restoration.  And I hope they will be able to restore
windows & frames without necessarily restoring all the other stuff
that Desktop can handle.

IOW, I hope we give users control over the various things that Desktop
can save & restore.  And I hope that control will be available both in
terms of saving (don't bother saving stuff you know you don't want to
restore) and in terms of restoring (save, but do not restore if told not
to - see above for the flexibility this offers, at a cost of
save/restore time and desktop-file storage space).

> > But the default Desktop behavior should, IMO, be the simple one (from
> > a user point of view): YAGNI, i.e., Desktop hands off the minibuffer.
> 
> My "simple behavior" would be: do not treat the MOF differently than
> any other frame. :-)

Which is why I wrote "from a user point of view".  I'm not interested
here with simplicity of implementation.  Of course, we can disagree about
what is simpler for a user.  Again, I'd point to Epoch users...

> > There is more locality, not less.  Not in the sense that the minibuffer
> > is always closer to the particular buffer text you're editing/reading
> 
> That's locality for me (or at least, for my visual cortex).

But you're not necessarily acting on or interacting with a single buffer
or frame, in general.

That's another difference I didn't mention.  I use the minibuffer more,
but I also use it to act on multiple buffers and frames during the same
minibuffer "session" (the command calling for minibuffer input, completion
in particular).  When using the minibuffer, even when my eye is not on
the minibuffer and not on *Completions*, it can easily move among multiple frames/buffers.  In this context, the most central, static, or "local"
location during the interaction is the minibuffer - it is the center of
the action.

I'm not saying that anyone needs to use a standalone minibuffer. 
I'm saying that someone who does do that has a single place to look
for command input/output.

You said:

> In my tests of the minibuffer-only frame (MOF from now on), I like to
> have it near the main, or only, frame.

Wait until you are interacting with multiple frames, and there is NO
"main, or only, frame".  Then we can talk again about "locality". ;-)

> > Height, but not width.  When I said "long" I meant "wide".
> 
> Ah, interesting. Yes, I can see the appeal of that.

Cheers - and thanks again for working on this.  It will be a welcome
addition to Emacs.



  reply	other threads:[~2013-07-02 19:40 UTC|newest]

Thread overview: 264+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-06-22 13:45 How to restore the layout? Angelo Graziosi
2013-06-22 23:01 ` Xue Fuqiao
2013-06-23 10:24   ` Angelo Graziosi
2013-06-23  8:26 ` martin rudalics
2013-06-23 10:35   ` Angelo Graziosi
2013-06-24 17:05     ` martin rudalics
2013-06-24 17:23       ` Juanma Barranquero
2013-06-24 17:30         ` Eli Zaretskii
2013-06-24 17:52           ` Juanma Barranquero
2013-06-24 18:18             ` Eli Zaretskii
2013-06-24 18:33               ` Stephen Berman
2013-06-24 18:33             ` Stephen Berman
2013-06-24 20:10               ` Juanma Barranquero
2013-06-24 20:11                 ` Juanma Barranquero
2013-06-24 20:22                 ` Jambunathan K
2013-06-24 20:28                   ` Juanma Barranquero
2013-06-24 20:57                     ` martin rudalics
2013-06-24 22:47                       ` Juanma Barranquero
2013-06-24 23:38                         ` Juri Linkov
2013-06-24 23:43                           ` Juanma Barranquero
2013-06-25  6:03                             ` Juri Linkov
2013-06-25 16:05                               ` Juanma Barranquero
2013-06-25  6:46                         ` martin rudalics
2013-06-25 15:32                           ` Juanma Barranquero
2013-06-25 16:32                             ` Stefan Monnier
2013-06-25 16:38                               ` martin rudalics
2013-06-25 17:21                                 ` Juanma Barranquero
2013-06-25 21:36                                   ` Angelo Graziosi
2013-06-25 21:40                                     ` Juanma Barranquero
2013-06-26  0:52                                       ` chad
2013-06-26 14:03                                         ` chad
2013-06-26 17:21                                           ` Juanma Barranquero
2013-06-26 18:27                                             ` martin rudalics
2013-06-26 23:05                                               ` Juanma Barranquero
2013-06-27  2:35                                                 ` Stefan Monnier
2013-06-27  2:57                                                   ` Juanma Barranquero
2013-06-27  4:30                                                     ` Stefan Monnier
2013-06-27  8:55                                                       ` Juanma Barranquero
2013-06-27 15:20                                                         ` Stefan Monnier
2013-06-27 15:23                                                           ` Juanma Barranquero
2013-06-27  8:05                                                 ` martin rudalics
2013-06-27  9:00                                                   ` Juanma Barranquero
2013-06-27  9:38                                                     ` martin rudalics
2013-06-27 21:02                                                       ` Juanma Barranquero
2013-06-28  6:34                                                         ` martin rudalics
2013-06-28 11:53                                                           ` Juanma Barranquero
2013-06-28 14:02                                                             ` martin rudalics
2013-06-27 13:29                                       ` Angelo Graziosi
2013-06-27 14:05                                         ` Juanma Barranquero
2013-06-27 14:31                                           ` Angelo Graziosi
2013-06-27 14:45                                             ` Juanma Barranquero
2013-06-27 18:27                                               ` martin rudalics
2013-06-27 20:30                                                 ` Juanma Barranquero
2013-06-27 20:49                                                   ` martin rudalics
2013-06-27 20:52                                                     ` Juanma Barranquero
2013-06-27 21:00                                                       ` martin rudalics
2013-06-27 21:03                                                         ` Juanma Barranquero
2013-06-27 23:33                                                           ` Juanma Barranquero
2013-06-28  6:07                                                             ` Eli Zaretskii
2013-06-28  8:17                                                               ` Jan Djärv
2013-06-28 11:54                                                                 ` Juanma Barranquero
2013-06-28 11:48                                                               ` Juanma Barranquero
2013-06-28 17:55                                                                 ` Eli Zaretskii
2013-06-28 18:15                                                                   ` Stefan Monnier
2013-06-28 17:22                                                               ` Stefan Monnier
2013-06-28 17:51                                                                 ` Juanma Barranquero
2013-06-28 19:36                                                                   ` Stefan Monnier
2013-06-29  0:54                                                                     ` Juanma Barranquero
2013-06-29  8:29                                                                       ` martin rudalics
2013-06-29 22:06                                                                         ` Juanma Barranquero
2013-06-30  9:35                                                                           ` martin rudalics
2013-06-30 10:32                                                                             ` Juanma Barranquero
2013-06-30 12:55                                                                               ` martin rudalics
2013-06-30 17:55                                                                                 ` Juanma Barranquero
2013-07-01  6:48                                                                                   ` martin rudalics
2013-07-04 20:41                                                                                   ` Angelo Graziosi
2013-07-04 21:34                                                                                     ` Juanma Barranquero
2013-07-04 23:10                                                                                       ` Angelo Graziosi
2013-07-04 23:19                                                                                         ` Juanma Barranquero
2013-07-05  7:45                                                                                           ` martin rudalics
2013-07-05  9:37                                                                                             ` Juanma Barranquero
2013-07-05 14:02                                                                                               ` Angelo Graziosi
2013-07-05 14:55                                                                                                 ` Juanma Barranquero
2013-07-05 15:02                                                                                                   ` Angelo Graziosi
2013-07-05 15:10                                                                                                     ` Juanma Barranquero
2013-07-05 15:30                                                                                                       ` martin rudalics
2013-07-05 15:39                                                                                                         ` Juanma Barranquero
2013-07-05 15:54                                                                                                           ` martin rudalics
2013-07-05 16:02                                                                                                             ` Juanma Barranquero
2013-07-05 17:03                                                                                                               ` martin rudalics
2013-07-05 17:06                                                                                                                 ` Juanma Barranquero
2013-07-05 17:37                                                                                                                   ` martin rudalics
2013-07-06 14:32                                                                                                                 ` Juanma Barranquero
2013-07-07 10:57                                                                                                                   ` martin rudalics
2013-07-05 15:21                                                                                                   ` martin rudalics
2013-07-05 15:26                                                                                                     ` Juanma Barranquero
2013-07-05 15:39                                                                                                       ` martin rudalics
2013-07-05 15:40                                                                                                         ` Juanma Barranquero
2013-07-05 15:55                                                                                                           ` martin rudalics
2013-07-05 17:04                                                                                                       ` Angelo Graziosi
2013-07-05 17:09                                                                                                         ` Juanma Barranquero
2013-07-05  7:45                                                                                         ` martin rudalics
2013-07-05 10:07                                                                                           ` Angelo Graziosi
2013-07-05 12:58                                                                                             ` martin rudalics
2013-07-05 13:13                                                                                               ` Jan Djärv
2013-07-05 13:41                                                                                               ` Angelo Graziosi
2013-07-05 14:42                                                                                                 ` martin rudalics
2013-07-05 18:22                                                                                                   ` Eli Zaretskii
2013-07-05 20:30                                                                                                     ` Angelo Graziosi
2013-07-06  8:47                                                                                                       ` martin rudalics
2013-07-06  9:10                                                                                                         ` Angelo Graziosi
2013-07-06 10:44                                                                                                           ` martin rudalics
2013-07-06 11:04                                                                                                             ` Angelo Graziosi
2013-07-06 13:06                                                                                                               ` martin rudalics
2013-07-06 13:18                                                                                                                 ` Eli Zaretskii
2013-07-06 13:43                                                                                                                   ` martin rudalics
2013-07-06 13:53                                                                                                                     ` Eli Zaretskii
2013-07-07 10:56                                                                                                                       ` martin rudalics
2013-07-06 14:27                                                                                                                 ` Angelo Graziosi
2013-07-06 18:57                                                                                                                 ` Drew Adams
2013-07-07 10:57                                                                                                                   ` martin rudalics
2013-07-07 11:32                                                                                                                     ` Juanma Barranquero
2013-07-07 12:46                                                                                                                       ` martin rudalics
2013-07-07 15:53                                                                                                                         ` Drew Adams
2013-07-08  6:47                                                                                                                           ` martin rudalics
2013-07-08 13:56                                                                                                                             ` Drew Adams
2013-07-08 17:29                                                                                                                               ` Juanma Barranquero
2013-07-09  9:08                                                                                                                                 ` martin rudalics
2013-07-09  9:07                                                                                                                               ` martin rudalics
2013-07-09 15:32                                                                                                                                 ` Drew Adams
2013-07-10  7:20                                                                                                                                   ` martin rudalics
2013-07-10 13:50                                                                                                                                     ` Drew Adams
2013-07-06  9:13                                                                                                         ` Juanma Barranquero
2013-07-06 10:44                                                                                                           ` martin rudalics
2013-07-06 14:39                                                                                                             ` Juanma Barranquero
2013-07-05  7:44                                                                                       ` martin rudalics
2013-06-29  8:51                                                                   ` Stephen Leake
2013-06-29 18:00                                                                     ` chad
2013-06-29 18:12                                                                       ` Eli Zaretskii
2013-06-29 22:36                                                                     ` Juanma Barranquero
2013-06-30 15:27                                                                       ` Stephen Leake
2013-06-30 18:12                                                                         ` Juanma Barranquero
2013-06-28  8:13                                                     ` Jan Djärv
2013-06-28  8:31                                                       ` martin rudalics
2013-06-28  8:46                                                         ` Jan Djärv
     [not found]                                                           ` <51CD5489.10902@g>
2013-06-28  9:16                                                           ` martin rudalics
2013-06-28 10:01                                                             ` Jan Djärv
2013-06-28 10:19                                                               ` martin rudalics
2013-06-28 10:26                                                                 ` Jan Djärv
2013-06-28 11:50                                                                   ` martin rudalics
2013-06-29  8:47                                                                     ` Stephen Leake
2013-06-29 22:26                                                                       ` Juanma Barranquero
2013-06-30 15:25                                                                         ` Stephen Leake
2013-06-30 18:09                                                                           ` Juanma Barranquero
2013-06-28 12:46                                                                   ` Eli Zaretskii
2013-06-28 14:03                                                                     ` martin rudalics
2013-06-28 14:58                                                                       ` Eli Zaretskii
2013-06-28 15:06                                                                         ` Juanma Barranquero
2013-06-28 17:53                                                                           ` Eli Zaretskii
2013-06-29  0:49                                                                             ` Juanma Barranquero
2013-06-28 15:22                                                                       ` Jan Djärv
2013-06-28 15:32                                                                         ` Juanma Barranquero
2013-06-28 15:53                                                                           ` Jan Djärv
2013-06-28 12:05                                                                 ` Juanma Barranquero
2013-06-28 13:06                                                                   ` Eli Zaretskii
2013-06-28 13:22                                                                     ` Juanma Barranquero
2013-06-28 14:51                                                                       ` Eli Zaretskii
2013-06-28 15:22                                                                         ` Juanma Barranquero
2013-06-28 17:52                                                                           ` Eli Zaretskii
2013-06-29  0:47                                                                             ` Juanma Barranquero
2013-06-29  8:39                                                                               ` Stephen Leake
2013-06-29 22:18                                                                                 ` Juanma Barranquero
2013-06-29 23:48                                                                                   ` Drew Adams
2013-06-30 10:16                                                                                     ` Juanma Barranquero
2013-06-30 16:30                                                                                       ` Drew Adams
2013-06-30 18:15                                                                                         ` Juanma Barranquero
2013-06-30  7:51                                                                                   ` Jan Djärv
2013-06-30  9:35                                                                                     ` martin rudalics
2013-06-30 10:01                                                                                       ` Jan Djärv
2013-06-30 10:11                                                                                         ` martin rudalics
2013-06-30 10:34                                                                                           ` Juanma Barranquero
2013-06-30 10:29                                                                                     ` Juanma Barranquero
2013-06-30 12:55                                                                                       ` martin rudalics
2013-06-30 18:03                                                                                         ` Juanma Barranquero
2013-06-30 21:32                                                                                           ` Jan Djärv
2013-07-01  0:28                                                                                             ` Juanma Barranquero
2013-07-01  3:31                                                                                               ` Juanma Barranquero
2013-07-01  6:50                                                                                                 ` martin rudalics
2013-07-01 10:38                                                                                                   ` Juanma Barranquero
2013-07-02 10:38                                                                                                     ` martin rudalics
2013-07-02 16:32                                                                                                       ` Juanma Barranquero
2013-07-03  9:27                                                                                                         ` martin rudalics
2013-07-03 10:36                                                                                                           ` Juanma Barranquero
2013-07-03 12:42                                                                                                             ` martin rudalics
2013-07-03 14:20                                                                                                               ` Juanma Barranquero
2013-07-03 14:32                                                                                                                 ` Juanma Barranquero
2013-07-04  9:35                                                                                                                 ` martin rudalics
2013-07-03 14:08                                                                                                           ` Drew Adams
2013-07-08  2:50                                                                                                       ` Juanma Barranquero
2013-07-08  6:47                                                                                                         ` martin rudalics
2013-07-08 12:13                                                                                                           ` Juanma Barranquero
2013-07-01 14:11                                                                                                   ` Drew Adams
2013-07-01 14:40                                                                                                     ` Juanma Barranquero
2013-07-01 16:03                                                                                                       ` Drew Adams
2013-07-01 16:37                                                                                                         ` Juanma Barranquero
2013-07-01 18:03                                                                                                           ` Drew Adams
2013-07-02  0:25                                                                                                             ` Juanma Barranquero
2013-07-02  3:46                                                                                                               ` Drew Adams
2013-07-02 17:32                                                                                                                 ` Juanma Barranquero
2013-07-02 19:40                                                                                                                   ` Drew Adams [this message]
2013-07-03  9:03                                                                                                                     ` Juanma Barranquero
2013-07-03  9:34                                                                                                                       ` martin rudalics
2013-07-03 10:38                                                                                                                         ` Juanma Barranquero
2013-07-03 12:42                                                                                                                           ` martin rudalics
2013-07-03 14:35                                                                                                                             ` Juanma Barranquero
2013-07-04  9:35                                                                                                                               ` martin rudalics
2013-07-04 14:17                                                                                                                                 ` Juanma Barranquero
2013-07-05  7:43                                                                                                                                   ` martin rudalics
2013-07-05  9:35                                                                                                                                     ` Juanma Barranquero
2013-07-03 14:08                                                                                                                       ` Drew Adams
2013-07-03 14:54                                                                                                                         ` Juanma Barranquero
2013-07-03  9:27                                                                                                                     ` martin rudalics
2013-07-03 14:08                                                                                                                       ` Drew Adams
2013-07-03  9:27                                                                                                                   ` martin rudalics
2013-07-03 10:37                                                                                                                     ` Juanma Barranquero
2013-07-03 14:08                                                                                                                       ` Drew Adams
2013-07-03 15:16                                                                                                                         ` Juanma Barranquero
2013-07-03 17:01                                                                                                                           ` Drew Adams
2013-06-30 15:23                                                                                   ` Stephen Leake
2013-06-30 15:34                                                                                     ` Eli Zaretskii
2013-06-28 14:03                                                                   ` martin rudalics
2013-06-28 15:12                                                                     ` Juanma Barranquero
2013-06-28 10:22                                                               ` Eli Zaretskii
2013-06-28 11:50                                                                 ` martin rudalics
2013-06-28 12:11                                                                   ` Juanma Barranquero
2013-06-28 12:24                                                                     ` Angelo Graziosi
2013-06-28 13:02                                                                   ` Eli Zaretskii
2013-06-28 14:07                                                                     ` martin rudalics
2013-06-28 14:59                                                                       ` Eli Zaretskii
2013-06-28 12:08                                                                 ` Juanma Barranquero
2013-06-28 13:07                                                                   ` Eli Zaretskii
2013-06-28 13:29                                                                     ` Juanma Barranquero
2013-06-28 14:53                                                                       ` Eli Zaretskii
2013-06-28 15:24                                                                         ` Juanma Barranquero
2013-06-29  8:03                                                                     ` Stephen Leake
2013-06-29  8:11                                                                       ` Eli Zaretskii
2013-06-30 15:29                                                                         ` Stephen Leake
2013-06-30 15:39                                                                           ` Eli Zaretskii
2013-06-28 12:00                                                               ` Juanma Barranquero
2013-06-28 12:31                                                                 ` Jan Djärv
2013-06-28 13:18                                                                   ` Juanma Barranquero
2013-06-28 14:26                                                                     ` Jan Djärv
2013-06-28 15:19                                                                       ` Juanma Barranquero
2013-06-28 14:03                                                                   ` martin rudalics
2013-06-28 15:13                                                                     ` Jan Djärv
2013-06-28 15:14                                                                     ` Juanma Barranquero
2013-06-28 14:02                                                                 ` martin rudalics
2013-06-28 15:10                                                                   ` Juanma Barranquero
2013-06-28 16:17                                                                     ` martin rudalics
2013-06-29  8:41                                                                 ` Stephen Leake
2013-06-28 13:29                                                             ` Drew Adams
2013-06-25  3:22               ` Stephen J. Turnbull
2013-06-24 17:38         ` martin rudalics
2013-06-23 12:28   ` Juanma Barranquero

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=54cfe77b-f378-4402-b185-21372177ed60@default \
    --to=drew.adams@oracle.com \
    --cc=emacs-devel@gnu.org \
    --cc=lekktu@gmail.com \
    --cc=rudalics@gmx.at \
    /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).