diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-10 17:46:09 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-10 17:46:09 +0000 |
| commit | ba4afa9c368d83cb810355e4fc8cef06983ea1af (patch) | |
| tree | a0b6311065cb5ae41d19dc3aa13b266981bd84ae /plugins/externaltools/tools/__init__.py | |
| parent | Overriding highlight-current-line to true in org.gnome.gedit.preferences.editor. (diff) | |
| download | gedit-ba4afa9c368d83cb810355e4fc8cef06983ea1af.tar.xz gedit-ba4afa9c368d83cb810355e4fc8cef06983ea1af.zip | |
Overriding restore-cursor-position to true in org.gnome.gedit.preferences.editor.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'plugins/externaltools/tools/__init__.py')
0 files changed, 0 insertions, 0 deletions