Wie passe ich den Rand für die Zeilennummern in gEdit an?

Kürzlich konnte ich den linken Rand zwischen Code- und Zeilennummern in Gedit (Gnome-Texteditor) in Ubuntu 12.10 vergrößern. Ich erinnere mich nicht daran, wie ich das erreicht habe, und ich erinnere mich auch nicht daran, wie Gedit zum klassischen Rand zurückgekehrt ist, der für mich sehr eng ist. Siehe Screenshot:

Gedit Weiß jemand, wie ich den linken Rand in Gedit 3.6.1 erhöhen kann? Vielen Dank

gedit

— Hanynowsky
quelle

Wenn Sie vorher nicht wissen, wie Sie den Rand vergrößert haben, lag dies möglicherweise daran, dass Sie genügend Zeilen hatten, damit die längeren Zeilennummern mehr Platz benötigen. Dann verwenden die kleineren Zeilennummern den zusätzlichen Platz als Rand. Ich kenne keinen anderen Weg.

— Zilvador

Ich erinnere mich, dass es irgendwo eine Option war, den Abstand zwischen line_numbers und Code zu vergrößern und zu verkleinern.

— Hanynowsky

Die Bitte um mehr Platz zwischen Zeilennummern und Inhalt wurde manchmal schon in den Mailinglisten geäußert , und hier ist eine Zusammenfassung meiner Untersuchung der aktuellen Situation.

Weitere geditEinstellungen finden Sie im Terminal

gsettings list-recursively | grep -i gedit

und dann können wir es etwas weiter eingrenzen, indem wir eintreten

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

Dies gibt die Randeinträge und Ihre aktuellen Einstellungen zurück:

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

Dies sind jedoch Einstellungen für den rechten Rand, die genau mit dem GUI-Einstellungsmenü übereinstimmen. Es scheint auch keine geeigneten Möglichkeiten in den restlichen Einstellungen oder Plugins zu geben , die für Sie nützlich wären.

Es ist wichtig zu beachten , dass geditVerwendungen gtksourceview , und, wenn untersucht, das Feature - Set wird aus dieser Bibliothek zu kennen geditBenutzern. Es gibt jedoch keine Erwähnung in den Spezifikationen des linken Randes oder eine Möglichkeit, eine Trennung zwischen Zeilennummern und den Einträgen in Ihrem geditDokument festzulegen .

Ich denke jedoch, Sie könnten tun, was Sie wollen, indem Sie die gtksourceviewBibliothek patchen und patchen gedit. Nachdem ich mir die gtksourceview- Spezifikationen angesehen habe, denke ich, dass Sie die gtksourcegutterEinstellungen patchen müssten . In der Dokumentation wird darauf hingewiesen, dass

Das GtkSourceGutter-Objekt repräsentiert die linke und rechte Rinne der Textansicht. Es wird von GtkSourceView verwendet, um die Zeilennummern und Kategoriemarkierungen zu zeichnen, die möglicherweise in einer Zeile vorhanden sind. Durch Packen zusätzlicher GtkSourceGutterRenderer-Objekte in die Rinne können Sie die Rinne mit Ihren eigenen benutzerdefinierten Zeichnungen erweitern.

Es gibt eine Diskussion über die Dachrinne in den Mailinglisten , allerdings nicht unter besonderer Bezugnahme auf Ihre Frage, sondern im Hinblick auf mögliche Anpassungen.

Möglicherweise haben Sie gedacht, Sie hätten den Abstand zwischen Zeilennummern und Einträgen in Ihrem Dokument aktiviert, indem Sie den im folgenden Screenshot gezeigten Vorgang ausgeführt haben.

Sie erstellen eine neue Datei mit gedit, gehen zu Bearbeiten> Einstellungen> Ansicht, aktivieren den rechten Rand und setzen ihn beispielsweise auf 2. Dann platzieren Sie den Cursor am Rand, geben etwas ein, drücken die Eingabetaste und speichern die Datei. Wenn die Datei dann neu geladen wird, bleibt der Abstand zwischen den Zahlen und dem Inhalt bestehen, bis Sie den Rand überschreiten.

Das ist mir schon ein paar Mal passiert und ist verwirrend, aber keine verlässliche Methode, um das zu tun, was Sie wollen. Da keine offiziellen Einstellungen verfügbar sind, können Sie nur patchen gtksourceviewund patchen gedit.

Geben Sie hier die Bildbeschreibung ein