Jak dostosować margines dla numerów linii w gEdit?

8

Ostatnio byłem w stanie zwiększyć lewy margines między kodem a numerami linii w Gedit (edytor tekstu Gnome) w Ubuntu 12.10. Nie pamiętam, jak to osiągnąłem, ani nie pamiętam, jak Gedit powrócił do klasycznego marginesu, który jest dla mnie bardzo wąski. Zobacz zrzut ekranu:

Gedit Czy ktoś wie, jak mogę zwiększyć lewy margines w Gedit 3.6.1? Dzięki

gedit Hanynowski
źródło
Jeśli nie wiesz, jak wcześniej zwiększyłeś margines, być może dlatego, że masz wystarczająco dużo linii, aby dłuższe numery linii wymagały więcej miejsca. Wówczas mniejsze numery linii wykorzystają dodatkową spację jako margines. Nie znam żadnego innego sposobu.
Zilvador,
Nie. Pamiętam, że była to gdzieś opcja zwiększenia i zmniejszenia marginesu między numerami_linii a kodem.
Hanynowsky

Odpowiedzi:

3

Prośba o więcej miejsca między numerami linii a treścią była wcześniej wyrażana na listach mailingowych , a oto podsumowanie mojego dochodzenia w sprawie obecnej sytuacji.

Wszelkie dodatkowe geditustawienia możemy znaleźć, wprowadzając terminal

gsettings list-recursively | grep -i gedit

a następnie możemy go nieco zawęzić, wchodząc

gsettings list-recursively | grep -i gedit | grep -i margin

który zwraca wpisy marginesów i twoje bieżące ustawienia:

org.gnome.gedit.preferences.editor display-right-margin true
org.gnome.gedit.preferences.editor right-margin-position uint32 2

Ale są to ustawienia prawego marginesu i są takie same jak menu ustawień GUI; nie ma też żadnych odpowiednich możliwości w pozostałych ustawieniach ani żadnych wtyczek, które byłyby dla ciebie przydatne.

Ważne jest, aby pamiętać, że geditużywa gtksourceview , a po zbadaniu zestaw funkcji z tej biblioteki będzie znany geditużytkownikom. W specyfikacjach lewego marginesu nie ma jednak wzmianki ani sposobu określania separacji między numerami wierszy a pozycjami w geditdokumencie.

Myślę jednak, że możesz zrobić, co chcesz, łatając gtksourceviewbibliotekę i łatając gedit. Po zapoznaniu się ze specyfikacjami gtksourceview myślę, że będziesz musiał załatać gtksourcegutterustawienia; w dokumentacji zaznaczono, że

Obiekt GtkSourceGutter reprezentuje lewe i prawe rynny widoku tekstowego. Jest używany przez GtkSourceView do rysowania numerów linii i znaków kategorii, które mogą znajdować się na linii. Pakując dodatkowe obiekty GtkSourceGutterRenderer do rynny, możesz rozszerzyć rynnę o własne rysunki.

Na listach dyskusyjnych toczy się dyskusja na temat rynny , choć nie z konkretnym odniesieniem do twojego pytania, ale pod kątem możliwych dostosowań.

Możliwe, że pomyślałeś o włączeniu spacji między numerami wierszy a wpisami w dokumencie, wykonując proces pokazany na zrzucie ekranu poniżej.

Tworzysz nowy plik za pomocą gedit, przejdź do edycji> preferencje> wyświetl i włącz prawy margines i ustaw go na przykład na 2. Następnie umieść kursor na marginesie, wpisz coś, naciśnij klawisz Return, a następnie zapisz plik. Następnie, gdy plik zostanie ponownie załadowany, przestrzeń między liczbami a zawartością pozostaje do momentu przekroczenia marginesu.

Zdarzyło mi się to kilka razy i jest mylące, ale nie jest niezawodnym sposobem robienia tego, co chcesz. Ponieważ nie ma dostępnych oficjalnych ustawień, jedynym sposobem na zrobienie tego, co chcesz, byłoby załatanie gtksourceviewi gedit.

wprowadź opis zdjęcia tutaj


źródło