Recently I was able to increase the left margin between code and line numbers in Gedit (Gnome-text-editor) in Ubuntu 12.10. I don't recall how I achieved this, neither do I recall how Gedit reverted to the classical margin which is very tight for me. See screenshot:
Does anyone know how I can increase left margin in Gedit 3.6.1? Thanks
The request for more space between line numbers and content has sometimes been voiced on the mailing-lists before, and here is a summary of my investigation of the current situation.
We can find any additional
gedit
settings by entering in terminaland then we can narrow it down a bit further by entering
which returns the margin entries and your current settings:
But these are right margin settings, and are just the same as the gui settings menu; there also doesn't seem to be any appropriate possibilities in the rest of the settings or any plugins that would be useful for you.
It is important to note that
gedit
uses gtksourceview, and, when examined, the feature set from that library will be familiar togedit
users. There is, however, no mention in the specifications of the left margin or a way to specify a separation between line numbers and the entries in yourgedit
document.However, I think you could do what you want by patching the
gtksourceview
library, and patchinggedit
. After looking at the gtksourceview specifications I think you would need to patch thegtksourcegutter
settings; in the documentation it is noted thatThere is a discussion on the gutter in the mailing-lists, although not with specific reference to your question, but with regard to possible customisations.
You may have thought you had enabled space between line numbers and entries in your document by carrying out the process shown in the screenshot below.
You create a new file with
gedit
, go to edit > preferences > view and enable the right margin and set it to 2, for example. Then you place the cursor on the margin, type something, press return, and then save the file. Then when the file is reloaded the space between the numbers and the content stays until you go beyond the margin.This has happened to me a few times, and is confusing, but is not a reliable way of doing what you want. As there are no official settings available the only way to do what you want would be to patch
gtksourceview
andgedit
.