Skip to content

Conversation

Ramilito
Copy link
Owner

@Ramilito Ramilito commented Sep 26, 2024

Fixes: #368
Bonus:

  • Fix delay of closing pum window
  • Fix hint mappings not displaying (still globals are not visible)

@Ramilito Ramilito marked this pull request as ready for review September 26, 2024 09:11
@Ramilito Ramilito merged commit 0f80761 into main Sep 26, 2024
1 check passed
@mosheavni
Copy link
Collaborator

nice!

@Ramilito Ramilito deleted the feat/configurable_max_history branch September 28, 2024 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

configurable history
2 participants