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: