diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-12-13 14:27:54 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-12-13 14:27:54 +0800 |
| commit | 711175587fe8022dbaae300916006fdfe74ca442 (patch) | |
| tree | a7b1c79ec98808461fe9acb4fb5239821e8070b7 /suffix tree/generalized-suffix-tree.el | |
| parent | c0e7b1bc0dc1fec9af3d60adba5620abba2756d6 (diff) | |
bookmark: jump to bookmark in a new tab
* bookmark-conf.el (durand-jump-bookmark-new-tab, tab-prefix-map):
Jump to bookmark in a new tab.
Diffstat (limited to 'suffix tree/generalized-suffix-tree.el')
0 files changed, 0 insertions, 0 deletions