• [^] # Re: Comment dire...

    Posté par (site web personnel, Mastodon) . En réponse au journal L'ergonomie de GNOME 3. Évalué à 1.

    On a pas la même notion de "paramètres essentiels" dans ce cas. Pour moi c'est de la configuration avancée. Tu ne considères cela comme des paramètres essentiels jusque parce que tu en as besoin. Mais si tu regardes la quantité de paramètres modifiables, tu envisages sérieusement d'avoir une interface graphique pour piloter chacun d'eux ?

    il est difficile d'éditer la configuration avec un simple éditeur de texte.

    Ces systèmes te présentent une interface cohérente avec le type de variable : case à cocher pour un booléen par exemple dans dconf-editor, type de variable et caractères gras pour ce qui diffère du paramétrage par défaut pour about:config … Où est le besoin de recourir à un éditeur de texte ?