How do I increase padding in Gedit?
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ margin-bottom:0;
}
4
I would like to add some padding in the editing area in Gedit.
Here is an illustration of the desired result:
I have the intuition it should be easy to do with a trick similar to this one I already use to add padding in Gnome Terminal:
increase padding in gnome terminal
However I cannot find the proper CSS selectors to do this.
Here is what I found so far:
https://github.com/vinceliuice/vimix-gtk-themes/commit/6dd15e741449206cf03d665dd3d89b454d61a5b8
Some CSS showing some.gedit-document-panelselector, but this only affects the side panel you open with F9
gedit gtk3 css
asked Dec 16 '18 at 16:36
Cédric Van RompayCédric Van Rompay
1236
add a comment |
4
I would like to add some padding in the editing area in Gedit.
Here is an illustration of the desired result:
I have the intuition it should be easy to do with a trick similar to this one I already use to add padding in Gnome Terminal:
increase padding in gnome terminal
However I cannot find the proper CSS selectors to do this.
Here is what I found so far:
https://github.com/vinceliuice/vimix-gtk-themes/commit/6dd15e741449206cf03d665dd3d89b454d61a5b8
Some CSS showing some.gedit-document-panelselector, but this only affects the side panel you open with F9
gedit gtk3 css
asked Dec 16 '18 at 16:36
Cédric Van RompayCédric Van Rompay
1236
add a comment |
4
4
4
3
I would like to add some padding in the editing area in Gedit.
Here is an illustration of the desired result:
I have the intuition it should be easy to do with a trick similar to this one I already use to add padding in Gnome Terminal:
increase padding in gnome terminal
However I cannot find the proper CSS selectors to do this.
Here is what I found so far:
https://github.com/vinceliuice/vimix-gtk-themes/commit/6dd15e741449206cf03d665dd3d89b454d61a5b8
Some CSS showing some.gedit-document-panelselector, but this only affects the side panel you open with F9
gedit gtk3 css
asked Dec 16 '18 at 16:36
Cédric Van RompayCédric Van Rompay
1236
I would like to add some padding in the editing area in Gedit.
Here is an illustration of the desired result:
I have the intuition it should be easy to do with a trick similar to this one I already use to add padding in Gnome Terminal:
increase padding in gnome terminal
However I cannot find the proper CSS selectors to do this.
Here is what I found so far:
https://github.com/vinceliuice/vimix-gtk-themes/commit/6dd15e741449206cf03d665dd3d89b454d61a5b8
Some CSS showing some.gedit-document-panelselector, but this only affects the side panel you open with F9
gedit gtk3 css
gedit gtk3 css
asked Dec 16 '18 at 16:36
Cédric Van RompayCédric Van Rompay
1236
asked Dec 16 '18 at 16:36
Cédric Van RompayCédric Van Rompay
1236
asked Dec 16 '18 at 16:36
Cédric Van RompayCédric Van Rompay
1236
asked Dec 16 '18 at 16:36
Cédric Van RompayCédric Van Rompay
1236
asked Dec 16 '18 at 16:36
Cédric Van RompayCédric Van Rompay
1236
1236
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
3
GTK_DEBUG=interactive gedit
After poking around I found the selector that works with gedit in Ubuntu 18.04:
.gedit-view {
padding: 10px;
}
edited Feb 14 at 9:26
pomsky
33.5k11105137
answered Feb 14 at 3:58
SteveSteve
251111
Can you explain where (file location) you found .gedit-view property?
– mature
Feb 14 at 9:35
The selector isn't documented anywhere or explicitly included in any CSS. I discovered it using GtkInspector that is part of gtk included with Ubuntu -- I mentioned the command to launch it in my answer. If you drop this snippet of CSS into ~/.local/gtk-3.0/gtk.css you'll pick up the change. You'll need to create this file first if you don't already have any user CSS overrides of your own and the file doesn't yet exist. Alternately you can more permanently and widely make the change by adding the snippet to /user/share/themes/<THEME>/gtk-3.20/apps/gedit.css.
– Steve
Feb 14 at 15:10
FWIW you can also select the numbers well to the left using: .gedit-view border.left { } to slightly alter that as well. You're more limited here and I've found that I can only effect a change to the background. I personally like #f8f1de when used in conjunction with a white editor pane.
– Steve
Feb 14 at 15:12
For those that are unfamiliar with GtkInspector, if you use the selection tool within the inspector -- looks like a bullseye -- and then select the corresponding gtk component of the open app that you would like to inspect, you'll be able to drill down into the component hierarchy of the application. The key elements you're looking for are application-specific style attributes that can then be references in CSS. With some applications you may find that there aren't any application-specific selectors and the only way to effect changes to style are with globally recognized selectors.
– Steve
Feb 14 at 15:46
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "89"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f1102360%2fhow-do-i-increase-padding-in-gedit%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
3
GTK_DEBUG=interactive gedit
After poking around I found the selector that works with gedit in Ubuntu 18.04:
.gedit-view {
padding: 10px;
}
edited Feb 14 at 9:26
pomsky
33.5k11105137
answered Feb 14 at 3:58
SteveSteve
251111
Can you explain where (file location) you found .gedit-view property?
– mature
Feb 14 at 9:35
The selector isn't documented anywhere or explicitly included in any CSS. I discovered it using GtkInspector that is part of gtk included with Ubuntu -- I mentioned the command to launch it in my answer. If you drop this snippet of CSS into ~/.local/gtk-3.0/gtk.css you'll pick up the change. You'll need to create this file first if you don't already have any user CSS overrides of your own and the file doesn't yet exist. Alternately you can more permanently and widely make the change by adding the snippet to /user/share/themes/<THEME>/gtk-3.20/apps/gedit.css.
– Steve
Feb 14 at 15:10
FWIW you can also select the numbers well to the left using: .gedit-view border.left { } to slightly alter that as well. You're more limited here and I've found that I can only effect a change to the background. I personally like #f8f1de when used in conjunction with a white editor pane.
– Steve
Feb 14 at 15:12
For those that are unfamiliar with GtkInspector, if you use the selection tool within the inspector -- looks like a bullseye -- and then select the corresponding gtk component of the open app that you would like to inspect, you'll be able to drill down into the component hierarchy of the application. The key elements you're looking for are application-specific style attributes that can then be references in CSS. With some applications you may find that there aren't any application-specific selectors and the only way to effect changes to style are with globally recognized selectors.
– Steve
Feb 14 at 15:46
add a comment |
3
GTK_DEBUG=interactive gedit
After poking around I found the selector that works with gedit in Ubuntu 18.04:
.gedit-view {
padding: 10px;
}
edited Feb 14 at 9:26
pomsky
33.5k11105137
answered Feb 14 at 3:58
SteveSteve
251111
Can you explain where (file location) you found .gedit-view property?
– mature
Feb 14 at 9:35
The selector isn't documented anywhere or explicitly included in any CSS. I discovered it using GtkInspector that is part of gtk included with Ubuntu -- I mentioned the command to launch it in my answer. If you drop this snippet of CSS into ~/.local/gtk-3.0/gtk.css you'll pick up the change. You'll need to create this file first if you don't already have any user CSS overrides of your own and the file doesn't yet exist. Alternately you can more permanently and widely make the change by adding the snippet to /user/share/themes/<THEME>/gtk-3.20/apps/gedit.css.
– Steve
Feb 14 at 15:10
FWIW you can also select the numbers well to the left using: .gedit-view border.left { } to slightly alter that as well. You're more limited here and I've found that I can only effect a change to the background. I personally like #f8f1de when used in conjunction with a white editor pane.
– Steve
Feb 14 at 15:12
For those that are unfamiliar with GtkInspector, if you use the selection tool within the inspector -- looks like a bullseye -- and then select the corresponding gtk component of the open app that you would like to inspect, you'll be able to drill down into the component hierarchy of the application. The key elements you're looking for are application-specific style attributes that can then be references in CSS. With some applications you may find that there aren't any application-specific selectors and the only way to effect changes to style are with globally recognized selectors.
– Steve
Feb 14 at 15:46
add a comment |
3
3
3
GTK_DEBUG=interactive gedit
After poking around I found the selector that works with gedit in Ubuntu 18.04:
.gedit-view {
padding: 10px;
}
edited Feb 14 at 9:26
pomsky
33.5k11105137
answered Feb 14 at 3:58
SteveSteve
251111
GTK_DEBUG=interactive gedit
After poking around I found the selector that works with gedit in Ubuntu 18.04:
.gedit-view {
padding: 10px;
}
edited Feb 14 at 9:26
pomsky
33.5k11105137
answered Feb 14 at 3:58
SteveSteve
251111
edited Feb 14 at 9:26
pomsky
33.5k11105137
edited Feb 14 at 9:26
pomsky
33.5k11105137
edited Feb 14 at 9:26
pomsky
33.5k11105137
33.5k11105137
answered Feb 14 at 3:58
SteveSteve
251111
answered Feb 14 at 3:58
SteveSteve
251111
answered Feb 14 at 3:58
SteveSteve
251111
251111
Can you explain where (file location) you found .gedit-view property?
– mature
Feb 14 at 9:35
The selector isn't documented anywhere or explicitly included in any CSS. I discovered it using GtkInspector that is part of gtk included with Ubuntu -- I mentioned the command to launch it in my answer. If you drop this snippet of CSS into ~/.local/gtk-3.0/gtk.css you'll pick up the change. You'll need to create this file first if you don't already have any user CSS overrides of your own and the file doesn't yet exist. Alternately you can more permanently and widely make the change by adding the snippet to /user/share/themes/<THEME>/gtk-3.20/apps/gedit.css.
– Steve
Feb 14 at 15:10
FWIW you can also select the numbers well to the left using: .gedit-view border.left { } to slightly alter that as well. You're more limited here and I've found that I can only effect a change to the background. I personally like #f8f1de when used in conjunction with a white editor pane.
– Steve
Feb 14 at 15:12
For those that are unfamiliar with GtkInspector, if you use the selection tool within the inspector -- looks like a bullseye -- and then select the corresponding gtk component of the open app that you would like to inspect, you'll be able to drill down into the component hierarchy of the application. The key elements you're looking for are application-specific style attributes that can then be references in CSS. With some applications you may find that there aren't any application-specific selectors and the only way to effect changes to style are with globally recognized selectors.
– Steve
Feb 14 at 15:46
add a comment |
Can you explain where (file location) you found .gedit-view property?
– mature
Feb 14 at 9:35
The selector isn't documented anywhere or explicitly included in any CSS. I discovered it using GtkInspector that is part of gtk included with Ubuntu -- I mentioned the command to launch it in my answer. If you drop this snippet of CSS into ~/.local/gtk-3.0/gtk.css you'll pick up the change. You'll need to create this file first if you don't already have any user CSS overrides of your own and the file doesn't yet exist. Alternately you can more permanently and widely make the change by adding the snippet to /user/share/themes/<THEME>/gtk-3.20/apps/gedit.css.
– Steve
Feb 14 at 15:10
FWIW you can also select the numbers well to the left using: .gedit-view border.left { } to slightly alter that as well. You're more limited here and I've found that I can only effect a change to the background. I personally like #f8f1de when used in conjunction with a white editor pane.
– Steve
Feb 14 at 15:12
For those that are unfamiliar with GtkInspector, if you use the selection tool within the inspector -- looks like a bullseye -- and then select the corresponding gtk component of the open app that you would like to inspect, you'll be able to drill down into the component hierarchy of the application. The key elements you're looking for are application-specific style attributes that can then be references in CSS. With some applications you may find that there aren't any application-specific selectors and the only way to effect changes to style are with globally recognized selectors.
– Steve
Feb 14 at 15:46
Can you explain where (file location) you found .gedit-view property?
– mature
Feb 14 at 9:35
Can you explain where (file location) you found .gedit-view property?
– mature
Feb 14 at 9:35
The selector isn't documented anywhere or explicitly included in any CSS. I discovered it using GtkInspector that is part of gtk included with Ubuntu -- I mentioned the command to launch it in my answer. If you drop this snippet of CSS into ~/.local/gtk-3.0/gtk.css you'll pick up the change. You'll need to create this file first if you don't already have any user CSS overrides of your own and the file doesn't yet exist. Alternately you can more permanently and widely make the change by adding the snippet to /user/share/themes/<THEME>/gtk-3.20/apps/gedit.css.
– Steve
Feb 14 at 15:10
The selector isn't documented anywhere or explicitly included in any CSS. I discovered it using GtkInspector that is part of gtk included with Ubuntu -- I mentioned the command to launch it in my answer. If you drop this snippet of CSS into ~/.local/gtk-3.0/gtk.css you'll pick up the change. You'll need to create this file first if you don't already have any user CSS overrides of your own and the file doesn't yet exist. Alternately you can more permanently and widely make the change by adding the snippet to /user/share/themes/<THEME>/gtk-3.20/apps/gedit.css.
– Steve
Feb 14 at 15:10
FWIW you can also select the numbers well to the left using: .gedit-view border.left { } to slightly alter that as well. You're more limited here and I've found that I can only effect a change to the background. I personally like #f8f1de when used in conjunction with a white editor pane.
– Steve
Feb 14 at 15:12
FWIW you can also select the numbers well to the left using: .gedit-view border.left { } to slightly alter that as well. You're more limited here and I've found that I can only effect a change to the background. I personally like #f8f1de when used in conjunction with a white editor pane.
– Steve
Feb 14 at 15:12
For those that are unfamiliar with GtkInspector, if you use the selection tool within the inspector -- looks like a bullseye -- and then select the corresponding gtk component of the open app that you would like to inspect, you'll be able to drill down into the component hierarchy of the application. The key elements you're looking for are application-specific style attributes that can then be references in CSS. With some applications you may find that there aren't any application-specific selectors and the only way to effect changes to style are with globally recognized selectors.
– Steve
Feb 14 at 15:46
For those that are unfamiliar with GtkInspector, if you use the selection tool within the inspector -- looks like a bullseye -- and then select the corresponding gtk component of the open app that you would like to inspect, you'll be able to drill down into the component hierarchy of the application. The key elements you're looking for are application-specific style attributes that can then be references in CSS. With some applications you may find that there aren't any application-specific selectors and the only way to effect changes to style are with globally recognized selectors.
– Steve
Feb 14 at 15:46
add a comment |
draft saved
draft discarded
Thanks for contributing an answer to Ask Ubuntu!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
draft saved
draft discarded
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2faskubuntu.com%2fquestions%2f1102360%2fhow-do-i-increase-padding-in-gedit%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
