[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#197835: [PROPOSAL]: integrated environments are allowed



On Wed, Jun 18, 2003 at 01:32:02PM -0400, Colin Walters wrote:
> On Wed, 2003-06-18 at 05:00, Colin Watson wrote:
> > If the editor is actually part of the other program, such as editing a
> > text area in a web form directly in Mozilla, then I'd be willing to make
> > an exception, but not otherwise. 
> 
> Again, I think one should think for this purpose of an integrated
> environment mainly all as one program.  And especially with component
> embedding (which will become much more prevalent over time), the
> distinction becomes quite blurred.
> 
> > "Use integrated environment's editor"
> > should be an option defaulting to off: note that newbies will not have
> > $EDITOR set at all so this won't affect them, and many other people may
> > choose to set $EDITOR in a context that doesn't apply to their whole X
> > session so that programs launched from a window manager menu don't see
> > it. This is fine.
> 
> Yes, what we are discussing will not affect newbies.  But I imagine a
> lot of experienced users have EDITOR and especially PAGER set
> consistently, and this will affect them.

Not really because we are only talking about the Debian default. All GNOME
programs I have seen have a way to change the default locally, so this
does not lock the user.

I have no problem if GNOME allows to change the editor launched by all GNOME
softwares in one click, just that it default to sensible-editor.

The purpose of the default is not to be the best choice for a particular
user, because each users have different preferences, but to be usable by
everybody. That imply not to present them each time with a different
editor.

What you are looking for is a tool that propose users with different 
configuration choices and do all the quirks neccessary. 

Cheers,
-- 
Bill.
<ballombe@debian.org>

Imagine a large red swirl here. 



Reply to: