Skip to content

draft pr: modifying settings#17

Draft
justschen wants to merge 22 commits intomainfrom
justin/disably-squiggly
Draft

draft pr: modifying settings#17
justschen wants to merge 22 commits intomainfrom
justin/disably-squiggly

Conversation

@justschen
Copy link
Owner

No description provided.

@justschen justschen changed the title modifying settings draft pr: modifying settings Nov 10, 2023
@justschen justschen force-pushed the justin/disably-squiggly branch from b005015 to 5fcda6b Compare November 15, 2023 21:46
justschen and others added 8 commits November 15, 2023 13:49
* modifying settings

* added fix for listener

* problem markers removed for tab and workbench

* working version all accross the workspace

* update editor configration (make sure to remove if don
't need later

* setting fix and fix for scrollbar decorations

* commit with temp changes
'description': localize('markers.showOnFile', "Show Errors & Warnings on files and folder."),
'type': 'boolean',
'default': true
'description': localize('markers.showOnFile', "Show Errors & Warnings in VS Code"),
Copy link
Owner Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

move this to avoid circular dependency?

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.

1 participant