Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Duplicated mappings in Gnat compiler plugin #43

Closed
dkearns opened this issue Nov 25, 2022 · 1 comment
Closed

Duplicated mappings in Gnat compiler plugin #43

dkearns opened this issue Nov 25, 2022 · 1 comment
Assignees
Labels
bug Something isn't working

Comments

@dkearns
Copy link

dkearns commented Nov 25, 2022

:GnatPretty and :SetProject are both using gp for their mappings.

Perhaps, using gP for pretty printing is the simplest solution?

@krischik krischik self-assigned this Dec 1, 2022
@krischik krischik added the bug Something isn't working label Dec 1, 2022
@krischik
Copy link
Owner

krischik commented Dec 1, 2022

Fixed.

@krischik krischik closed this as completed Dec 1, 2022
krischik added a commit that referenced this issue Dec 1, 2022
Fix folding close marker level indicators
Bug #43 Fix various typos for key mappings of the gnat compiler.
Remove insert key mappings
krischik added a commit that referenced this issue Dec 1, 2022
Fix folding close marker level indicators
Bug #43 Fix various typos for key mappings of the gnat compiler.
Remove insert key mappings
krischik added a commit that referenced this issue Dec 1, 2022
Fix folding close marker level indicators
Bug #43 Fix various typos for key mappings of the gnat compiler.
Remove insert key mappings
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

When branches are created from issues, their pull requests are automatically linked.

2 participants