Skip to content

Live-updating regex scopes#1943

Merged
pokey merged 1 commit intomainfrom
pokey/live-updating-regex-scopes
Oct 30, 2023
Merged

Live-updating regex scopes#1943
pokey merged 1 commit intomainfrom
pokey/live-updating-regex-scopes

Conversation

@pokey
Copy link
Member

@pokey pokey commented Oct 12, 2023 •
edited
Loading

Checklist

  • [-] I have added tests
  • [-] I have updated the docs and cheatsheet
  • [-] I have not broken the cheatsheet

@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from d0fcf1b to d5f310c Compare October 12, 2023 17:41
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from 473a101 to 7e3ae3a Compare October 12, 2023 17:41
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from a6754d0 to 749cf7f Compare October 16, 2023 15:02
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from 8eea5f3 to 23b232c Compare October 16, 2023 15:02
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from c815e0d to 8cae134 Compare October 16, 2023 15:29
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from 7d9517e to 254f323 Compare October 16, 2023 15:29
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 9b6a204 to abff9fb Compare October 16, 2023 15:47
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch 2 times, most recently from 29dd62e to 7e1f1df Compare October 16, 2023 16:17
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from c0a93d1 to 87cb21e Compare October 17, 2023 13:55
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch 2 times, most recently from 84362db to 439e80d Compare October 17, 2023 14:11
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 6c86b5a to 103f385 Compare October 17, 2023 14:11
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch 2 times, most recently from ac592ec to d14087d Compare October 18, 2023 15:17
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch 2 times, most recently from b826f3e to 3e8b231 Compare October 18, 2023 15:57
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from d14087d to 91b58ff Compare October 18, 2023 15:57
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 3e8b231 to ebd6923 Compare October 20, 2023 12:45
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch 2 times, most recently from 7744650 to f0b9c85 Compare October 20, 2023 13:00
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from ebd6923 to f92a480 Compare October 20, 2023 13:00
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from f0b9c85 to e824c9d Compare October 20, 2023 13:07
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from f92a480 to 6e49a1c Compare October 20, 2023 13:07
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from aad36af to 65a747e Compare October 20, 2023 13:18
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from fce6e07 to 3a4afaa Compare October 20, 2023 13:18
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from 6f18286 to 5c34de2 Compare October 20, 2023 13:38
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch 3 times, most recently from f8ef780 to 2e23b01 Compare October 20, 2023 14:18
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch 2 times, most recently from 0682832 to 0b49369 Compare October 24, 2023 14:26
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 1523fe4 to 0ba44c4 Compare October 24, 2023 14:26
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch 2 times, most recently from e372c7b to 793503e Compare October 24, 2023 20:05
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 4339204 to 24a1844 Compare October 24, 2023 20:05
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from 793503e to 42850af Compare October 25, 2023 10:35
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 18a68d1 to 9d022b8 Compare October 25, 2023 10:39
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch 2 times, most recently from 5f0c199 to cee99ac Compare October 25, 2023 11:14
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch 2 times, most recently from 31c0e17 to 4eca605 Compare October 25, 2023 12:11
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from cee99ac to a90ea9c Compare October 25, 2023 12:11
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 4eca605 to 7003986 Compare October 25, 2023 12:28
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from a90ea9c to 2f3a3a2 Compare October 25, 2023 12:28
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 7003986 to ebecf13 Compare October 25, 2023 12:33
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch 2 times, most recently from 32b4b21 to 855a3cd Compare October 25, 2023 12:49
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 33a3510 to 0a60ac6 Compare October 25, 2023 12:51
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch 2 times, most recently from 8864f43 to fa3ec5a Compare October 25, 2023 12:52
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch 2 times, most recently from b7e285e to c3f31fb Compare October 25, 2023 13:04
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from fa3ec5a to 59b2d7e Compare October 25, 2023 13:04
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from c3f31fb to 7a38dde Compare October 25, 2023 13:13
@pokey pokey force-pushed the pokey/live-updating-regex-scopes branch from 59b2d7e to 5d58fe6 Compare October 25, 2023 13:13
@pokey pokey force-pushed the pokey/cursorless-scope-side-bar branch from 7a38dde to 9fde966 Compare October 25, 2023 13:29
@pokey pokey mentioned this pull request Oct 27, 2023
Closed
26 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@AndreasArvidsson AndreasArvidsson AndreasArvidsson approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@pokey @AndreasArvidsson