After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 94440 - gnome-terminal needs a global prefs dialog
gnome-terminal needs a global prefs dialog
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: general
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on: 774710
Blocks:
 
 
Reported: 2002-09-29 00:10 UTC by Stephane Chauveau
Modified: 2018-03-11 17:52 UTC
See Also:
GNOME target: ---
GNOME version: Unversioned Enhancement


Description Stephane Chauveau 2002-09-29 00:10:52 UTC 
gnome-terminal needs a global prefs dialog. 
This is required for several reasons:

(1) to reduce the amount of options managed by
    each profile. For example, I think that the
    following settings could be global or should 
    have a global default value.

       - Cursor blinks
       - terminal bell
       - Select-by-word-characters
       - scrolling options
       - compatibility options


(2) to have a location to configure existing or 
    future features (including some filled by me :-))
   
      - (7035,...) content of context menu
      - (75420) tabs position 
      - (78776) Show tabs even when only 1 exists
      - (87771) confirm exit
      - (94427) ability to change font in a single term 
      - etc ...
      
(3) keybindings should be move there too.
Comment 1 Havoc Pennington 2002-09-29 02:27:14 UTC 
I wouldn't want to do this while keeping the current prominence of
profiles (having both Edit->Current Profile and Edit->Preferences is
over the top IMO); maybe if we rework things to be more like the
konsole prefs dialog and profiles feature.

I don't believe we can add many more prefs anyway without deleting
some of the existing prefs. 30-something settings is a good maximum.
There are already too many.

It would be helpful if someone went through bugzilla and made a list
of all existing prefs and all prefs anyone has proposed, so we can put
them in priority order and then draw a line between ones we might add
and ones we won't.
Comment 2 Stephane Chauveau 2002-09-29 07:34:44 UTC 
I think that you are both right and wrong when you refuse 
systematically new features because there are too much 
options.

You are right because most users users want something simple
to use. 

You are wrong because experienced users may be frustrated
by the lack of options. 

Did you consider the idea of releasing 2 different products?
A light version with only the basic features (potentially 
no tabs and no multipl profiles) and an highly customisable 
version without any limits on the number of options.
Comment 3 Stephane Chauveau 2002-09-29 08:50:15 UTC 
I just filled bug #94452 with a list of existing 
enhancement requests related to the UI.
Comment 4 Christian Persch 2018-03-11 17:52:31 UTC 
This has been fixed on master already.