Set bottom margin (i.e. scroll past end)
- download 'bottom_margin.plugin' and 'bottom_margin.py', and move them to '~/.local/share/gedit/plugins/'
- set 'pixels' in 'bottom_margin.py'
- run gedit go to preferences -> plugins -> select Bottom Margin
-
Notifications
You must be signed in to change notification settings - Fork 0
hamadmarri/gedit-plugin-bottom_margin
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Set bottom margin (i.e. scroll past end)
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published