add hole text objs

phijor · Feb 12, 2022 · 7cdead1 · 7cdead1
1 parent ff3bd90
commit 7cdead1
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -51,6 +51,8 @@ Use the `iz`/`az` text objects to operate on text between `≡⟨` and `⟩`.
 
 Also `ii`/`ai` will operate on `⦃` and `⦄`.
 
+`ih`/`ah` will operate on `{!` and `!}`.
+
 
 
 ## Installation

diff --git a/ftplugin/agda.vim b/ftplugin/agda.vim
@@ -19,6 +19,11 @@ call textobj#user#plugin('cornelis', {
 \     'select-a': 'ai',
 \     'select-i': 'ii',
 \   },
+\   'hole': {
+\     'pattern': ['{!', '!}'],
+\     'select-a': 'ah',
+\     'select-i': 'ih',
+\   },
 \ })
 
 setlocal commentstring=--\ %s
Original file line number	Diff line number	Diff line change
Expand Up		@@ -51,6 +51,8 @@ Use the `iz`/`az` text objects to operate on text between `≡⟨` and `⟩`.

		Also `ii`/`ai` will operate on `⦃` and `⦄`.

		`ih`/`ah` will operate on `{!` and `!}`.



		## Installation
Expand Down