On Tue, Feb 13, 2001 at 07:38:00PM +0200, Dekel Tsur wrote:
> On Tue, Feb 13, 2001 at 06:30:01PM +0000, Herbert Voss wrote:
> > >What we can do is either
> > > 1) Put a "do not use babel" button in the document dialog
> > > or
> > > 2) Put a "do not use babel" button and in the preferences dialog,
> > > and if this button is selected, babel will not be used for all documents
> > > whose language is equal to default_language.
> >
> > the second one is a good idea!
>
> Actually, we can have a 3 choice button:
> - Do not use babel
> - Use babel, the language is given as an argument to the babel package
> - Use babel, the language is given as an argument to \documentclass
I've decided to use two boolean buttons.
I've attached a patch. Any comments before I apply it?
patch.gz