Tony Gravagno

Results 99 comments of Tony Gravagno

On creating a new syncSettings.resources value in the User settings.json, the attribute "user" isn't specified - "user" isn't a valid value for Resources: https://github.com/zokugun/vscode-sync-settings/blob/7101534588921361bac2183d1f85263758834e7c/src/repository.ts#L26 I don't know why I had...

This seems to be related, from the current Tb (not Betterbird) and quickFilters : ![image](https://github.com/user-attachments/assets/6cf7b775-a298-4da1-81c2-accc090a4685) gFilters-filterEditor.js:140 : `if (gFilter.searchTerms[i].attrib == -2) {` What's weird is that it's complaining about gFilter...

I came to Issues today to look to see if this exact challenge was already reported, so ... ➕**1** My application : I get lots of emails every day from...

@RealRaven2000 wrote: > I recommend restarting Thunderbird if you copy across many filters to a different account before you start editing them (There was a bug reported that they may...

It looks like, if there are no changes in the current document, we get "provider FAILED", but I don't get that message if a change is made. Example: On a...

Thanks for the responses. I think `Edit Page` can be intimidating, implying a commitment for someone to make a change themselves when they really just want to make a suggestion....

We're 100% on the same page. I was just looking at the organization of the material, and noted, for example, that details for writing rules are first in th Developers...

BTW, I have read through Pieter's blog series a few times and agree with his perspective. When I saw that some of his 2018 notes were out of date, and...

Cool. As I go through docs I'll note where references back here would be of value. Really, I don't think there is much to do on-site - just add a...