GNOME funziona in un editor di testo che potrebbe sostituire Gedit come editor predefinito in GNOME 42

Prossimo editor di testo GNOME

In Linux abbiamo molti desktop, e questo è un bene e un male. Bene perché abbiamo una scelta, male perché un'applicazione può essere stonata se non è progettata per il nostro ambiente grafico. Non è un problema che vediamo su Gedit per GNOME, ma il progetto dietro questo popolare desktop sta sviluppando un proprio editor di testo, con la sua filosofia, ma ricco di funzioni in modo che non ci manchi nulla.

Così postato Christian Hergert (via È FOSS) sul suo blog, dove abbiamo tutto spiegato con ogni tipo di cattura. Per cominciare, Hergert dice che il la finestra di dialogo delle preferenze è tornata, e lo ha fatto con un design migliorato. Tempo fa l'hanno eliminato, pensando che avrebbe migliorato l'esperienza dell'utente, ma hanno fatto marcia indietro, non senza prima ritoccare un po' la loro immagine.

Editor di testo, l'editor di testo GNOME si prepara per GNOME 42

Anche il tipo di menu aperto "popover" ha ricevuto modifiche estetiche ed è stata aggiunta una GSetting per coloro che desiderano spazi visivi nell'opzione di disegno. Se si preferisce qualcosa di più simile a Vim, questo «Editor di testo» può testare il tuo emulatore usando GtkSourceVimIMContext, qualcosa che può essere eseguito con il comando (se viene utilizzata la versione flatpak) flatpak run –command = gsettings org.gnome.TextEditor.Devel \ set org.gnome.TextEditor combinazioni di tasti vim # o "default". Come molti altri software GNOME, è scritto in libadwaita e può essere personalizzato con molti colori.

E la domanda da un milione di dollari è: sostituirà Gedit come editor di testo predefinito nel? prossima versione desktop? È difficile saperlo. Ci sono un paio di cose da tenere a mente: la prima è che il fatto che GNOME modifichi un'applicazione per impostazione predefinita non significa che cambierà in tutte le distribuzioni che utilizzano GNOME. Cioè, ad esempio Ubuntu potrebbe decidere di rimanere in Gedit anche se GNOME apporta la modifica. L'altro è che, come spiegato in It's FOSS, lo sviluppo di Gedit sembra non andare così veloce come dovrebbe, quindi quello che scrive Hergert dicendo che «L'editor di testo ha davvero preso forma nelle ultime due settimane mentre ci affrettavamo a preparare le cose per GNOME 42»Può riferirsi a quello.

Qualunque cosa decida, chi preferisce Gedit può sempre installarlo da solo dai repository ufficiali di praticamente qualsiasi distribuzione.


Lascia un tuo commento

L'indirizzo email non verrà pubblicato. I campi obbligatori sono contrassegnati con *

*

*

  1. Responsabile del trattamento: AB Internet Networks 2008 SL
  2. Scopo dei dati: controllo SPAM, gestione commenti.
  3. Legittimazione: il tuo consenso
  4. Comunicazione dei dati: I dati non saranno oggetto di comunicazione a terzi se non per obbligo di legge.
  5. Archiviazione dati: database ospitato da Occentus Networks (UE)
  6. Diritti: in qualsiasi momento puoi limitare, recuperare ed eliminare le tue informazioni.

  1.   gnomo suddetto

    La cosa più importante di questo editor è che finalmente arriva con gtksourceview 5. Chiunque abbia usato gedit e abbia provato a caricare un js o un css con righe molto lunghe avrà avuto seri problemi di stabilità. Questo nuovo editor è assolutamente necessario.