Description Keith Suddick 2020-09-06 10:28:29 EDT

I have a problem with the preferences for the IndentGuide plugin from Certiv/G.Rosenberg not saving correctly. I raised the issue with grosenberg on github who eventually concluded it was problem with Devstyle/Darkest Dark Theme by Genuitec, so I then raised the issue with Genuitec who concluded it was a problem with Eclipse itself as the problem apparently occurs even without Devstyle - but only in the Dark Theme, and they suggested I raise it here.  I'm wondering if I can just supply links to the existing details that are at least reasonably well laid out, rather than try to copy and paste the relevant info here?

The IndentGuide thread is here: https://github.com/grosenberg/IndentGuide/issues/7

And the Genuitec thread is here: https://www.genuitec.com/forums/topic/indentguide-preferences-problem/#post-662748

My apologies if this is off-protocol, I will resubmit if necessary.