Skip to content

Handle disable_plugin_host_3.3 setting #406

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.

Sign up for GitHub

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

Jump to bottom
Closed
FichteFoll opened this issue Feb 26, 2025 · 1 comment · Fixed by #409 or #411
Closed

Handle disable_plugin_host_3.3 setting #406

FichteFoll opened this issue Feb 26, 2025 · 1 comment · Fixed by #409 or #411
Milestone
3.6.2

Comments

@FichteFoll
Copy link
Member

  1. This setting name gets matched by our package namespace highlighting and needs to be circumvented, e.g. by using a negative look-ahead like \.(?!\d).
    Image
  2. The setting is undocumented, so we need to add metadata for it.
deathaxe added a commit that referenced this issue Mar 23, 2025
@deathaxe
Settings: Fix namespace highlighting
601301a 
Resolves #406

This commit expects a setting namespace to be followed by a valid setting name,
but not only numbers.
@deathaxe deathaxe mentioned this issue Mar 23, 2025
Merged
@FichteFoll
Copy link
Member Author

Reopening because the metadata has not been added yet.

@FichteFoll FichteFoll reopened this Apr 28, 2025
@FichteFoll FichteFoll added this to the 3.6.2 milestone Apr 29, 2025
@deathaxe deathaxe mentioned this issue Apr 29, 2025
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
3.6.2
1 participant
@FichteFoll