You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
view.settings() aggregates a settings view that is collected from various sources, including but not limited to:
Default
User
Project
Syntax-specific
View-specific
There is currently no easy way to determine where the setting came from, besides checking all those sources manually. It would help debugging some settings problems immensely and would also be convenient for plugins, such as InactivePanes, which react react to settings changes in this aggregated settings view.
The text was updated successfully, but these errors were encountered:
view.settings()
aggregates a settings view that is collected from various sources, including but not limited to:There is currently no easy way to determine where the setting came from, besides checking all those sources manually. It would help debugging some settings problems immensely and would also be convenient for plugins, such as InactivePanes, which react react to settings changes in this aggregated settings view.
The text was updated successfully, but these errors were encountered: