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.
Czy ktoś wie, jak mogę zwiększyć lewy margines w Gedit 3.6.1? Dzięki