Re: Suggestions for 5.0: Margin (and Key)

[Ethan A M. <sf...@us...>]

On Wednesday, 18 June, 2014 15:03:32 Philipp K. Janert wrote:
> 
> > > 1) Naming of margins
> > > The naming of the margin options scatters 
> > > them around in any alphabetical listing of
> > > options. I wonder whether we could add 
> > > alternative names, that put the location 
> > > last (not first) - similar to what is done
> > > in CSS: margin-top, margin-bottom, etc.
> > 
> > Where do you mean?
> > They are already collected together so far as "show margin"
> > output is concerned, or "help set margin" for that matter.
> 
> For instance in the reference manual...

Sorry - I'm not following you.
The reference manual has a section under 

Commands
   ->  Set
         -> Margin

i.e. the same as you get with "help set margin".

What are you asking for instead?

	Ethan