search

aya-prover / aya-vscode

~ VSCode extension for Aya Prover
GNU General Public License v3.0
7 stars 2 forks source link

Lost highlight after `C-C C-l` #3

Closed imkiva closed 3 years ago

imkiva commented 3 years ago

It's stuck in this line https://github.com/aya-prover/aya-vscode/blob/76237d1693847fd15bb77a0f710dea5f64d3b684/src/highlight.ts#L72

ice1000 commented 3 years ago

I propose a different set of shortcuts, because C-c is copy.

imkiva commented 3 years ago

Using another theme solved this problem, so it might not be our problem HAPPY DEBUGGING

imkiva commented 3 years ago

I propose a different set of shortcuts, because C-c is copy.

Yeah, which key do you prefer?

ice1000 commented 3 years ago

@imkiva 🤷‍♂️

ice1000 commented 3 years ago

@imkiva What about C-l C-l? We prefix everything with C-l instead (since C-l doesn't seem to be often used)

imkiva commented 3 years ago

@imkiva What about C-l C-l? We prefix everything with C-l instead (since C-l doesn't seem to be often used)

Good idea

imkiva commented 3 years ago

changed to C-l C-l in b2a161ec1f0749151cf2aafe6b727d1ae1d0d52f