In message <[EMAIL PROTECTED]>, Dan Eble
<[EMAIL PROTECTED]> writes
On 6 Oct 2008, at 06:07, Graham Percival wrote:
On Mon, 6 Oct 2008 11:42:07 +0200
"Valentin Villenave" <[EMAIL PROTECTED]> wrote:
Graham: "\bigger sounds better when opposed to \smaller"
Me: "We already have \teeny \tiny \s
2008/10/9 Dan Eble <[EMAIL PROTECTED]>:
> Moreover, if \bigger is cast out for being colloquial, how does teeny get a
> free pass?
Because it's cute? :-)
> But seriously, assuming one can remember the set of choices without
> consulting the manual, how can one remember which of \teeny or \tiny is
On 6 Oct 2008, at 06:07, Graham Percival wrote:
On Mon, 6 Oct 2008 11:42:07 +0200
"Valentin Villenave" <[EMAIL PROTECTED]> wrote:
Graham: "\bigger sounds better when opposed to \smaller"
Me: "We already have \teeny \tiny \small \large \huge, so let's keep
\larger iso \bigger".
You said tha
2008/10/6 Trevor Daniels <[EMAIL PROTECTED]>:
> So I definitely prefer \larger.
Here is a patch that removes \bigger.
Okay to push? If it is, I'll add a NEWS item.
Cheers,
Valentin
0001-Removed-bigger-markup-command-use-larger-instead.patch
Description: Binary data
On Mon, 6 Oct 2008 11:09:49 +0100
"Trevor Daniels" <[EMAIL PROTECTED]> wrote:
>
> Valentin Villenave wrote Monday, October 06, 2008 10:42 AM
> >
> > You guys: "\[bigger|larger] is better because..." (to be completed)
>
> Also "bigger" is rather colloquial; "larger" is more formal.
> I would nev
Valentin Villenave wrote Monday, October 06, 2008 10:42 AM
\bigger and \larger are two markup commands that act exactly the same;
which one do we want do keep?
Graham: "\bigger sounds better when opposed to \smaller"
I don't agree with this - I think large is the correct
opposite to small, e
On Mon, 6 Oct 2008 11:42:07 +0200
"Valentin Villenave" <[EMAIL PROTECTED]> wrote:
> Graham: "\bigger sounds better when opposed to \smaller"
>
> Me: "We already have \teeny \tiny \small \large \huge, so let's keep
> \larger iso \bigger".
You said that after I said \bigger, and it's a good reason
Greetings,
while we're changing syntax and stuff, maybe this would be a good time
to hunt down syntax duplicates (e.g. PianoStaff and GrandStaff, but
that's another story).
\bigger and \larger are two markup commands that act exactly the same;
which one do we want do keep?
Graham: "\bigger sound
