[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] Minor improvements to anchor code
From: |
Marco Diego Aurélio Mesquita |
Subject: |
[PATCH] Minor improvements to anchor code |
Date: |
Tue, 14 Apr 2020 13:50:29 -0300 |
Hi Benno!
Please consider attached patches as minor improvements to current code
wrt anchor and line jumping.
Thanks!
0001-Introduce-go_to_anchor.patch
Description: Text Data
0002-Introduce-go_to_line.patch
Description: Text Data
- [PATCH] Minor improvements to anchor code,
Marco Diego Aurélio Mesquita <=