gEditで行番号のマージンを調整するにはどうすればよいですか？

最近、Ubuntu 12.10のGedit（Gnome-text-editor）でコードと行番号の間の左マージンを増やすことができました。私がこれをどのように達成したかは覚えていません。Geditが私にとって非常に厳しい古典的なマージンに戻った方法も覚えていません。スクリーンショットを見る：

Gedit 3.6.1で左マージンを増やす方法を知っている人はいますか？ありがとう

行番号とコンテンツの間隔を広げる要求は、以前にメーリングリストで時々表明されていました。ここに、現在の状況についての私の調査の要約を示します。

geditターミナルに入力することで追加設定を見つけることができます

gsettings list-recursively | grep -i gedit

次のように入力して、さらに絞り込むことができます

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

マージンエントリと現在の設定を返します。

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

しかし、これらは右マージン設定であり、GUI設定メニューとまったく同じです。また、その他の設定やプラグインに役立つ可能性があると思われるものもありません。

geditはgtksourceviewを使用していることに注意することが重要であり、検討すると、そのライブラリの機能セットはgeditユーザーにとってなじみ深いものになります。ただし、左マージンの仕様や、行番号とgeditドキュメントのエントリとの区切りを指定する方法については言及されていません。

ただし、gtksourceviewライブラリにパッチを適用し、パッチを適用することで、希望どおりの操作を実行できると思いますgedit。gtksourceviewの仕様を確認した後、gtksourcegutter設定にパッチを適用する必要があると思います。ドキュメントのことが注目されます

GtkSourceGutterオブジェクトは、テキストビューの左右のガターを表します。これは、GtkSourceViewによって、行に存在する可能性のある行番号とカテゴリマークを描画するために使用されます。追加のGtkSourceGutterRendererオブジェクトをガターにパックすることにより、独自のカスタム図面でガターを拡張できます。

あなたの質問への特定の参照ではなく、可能なカスタマイズに関して、メーリングリストの溝についての議論があります。

以下のスクリーンショットに示すプロセスを実行して、ドキュメントの行番号とエントリの間にスペースを有効にしたと思ったかもしれません。

で新しいファイルを作成し、gedit[編集]> [設定]> [表示]に移動して、右マージンを有効にし、たとえば2に設定します。次に、マージンにカーソルを置き、何かを入力してReturnキーを押し、ファイルを保存します。その後、ファイルがリロードされると、数値とコンテンツの間のスペースは、マージンを超えるまで残ります。

これは何度か私に起こり、混乱を招きますが、あなたが望むことを行うための信頼できる方法ではありません。利用可能な公式設定がないとして、あなたが望むものを行うための唯一の方法は、パッチを適用することであろうgtksourceviewとgedit。