| commit | ce88155d83ba84e84321ed69a39c82f40117dd1f | |
| author | Noam Postavsky <npostavs@gmail.com> | |
| Fri, 3 Feb 2017 02:35:51 +0000 (2 21:35 -0500) | ||
| committer | Noam Postavsky <npostavs@gmail.com> | |
| Fri, 3 Feb 2017 02:35:51 +0000 (2 21:35 -0500) | ||
| tree | b56e2f89a597cb407747639c02333dde7e4552ba | treesnapshot (tar.gz zip) |
| parent | 604724e49d7b44dc663ad941998a0a44aa4fc178 | commitdiff |
| parent | da515a0d8e97d89a1c7e60faea190174a8c72618 | commitdiff |
; Merge: fixes and updates to scroll margin (Bug#5718)
- add new option `maximum-sroll-margin'
- refactor and fix scroll margin calculation
- add new option `maximum-sroll-margin'
- refactor and fix scroll margin calculation