]> git.eshelyaron.com Git - dict.git/commit
ENHANCED: restore original point when a term search is quit
authorEshel Yaron <me@eshelyaron.com>
Thu, 5 Jan 2023 11:08:21 +0000 (13:08 +0200)
committerEshel Yaron <me@eshelyaron.com>
Thu, 5 Jan 2023 11:08:21 +0000 (13:08 +0200)
commitaafeb08c94781f2d8297782f4af532581193d6b3
treec91c10dc25eefc07dcc9f4b3f76c4cb5b47d3a94
parent556521bbc3de285e38e598d294b2e7b24a1e6b1d
ENHANCED: restore original point when a term search is quit
sweeprolog.el