A well-estimated Dutch colleague has pointed me to a better, more MAC-ish color for marked text.
But indeed this color is being set back after a while, I assume after CT freezing, despite first having made this change and closing CT. There might be more colors concerned.
tre
A well-estimated Dutch colleague has pointed me to a better, more MAC-ish color for marked text.
But indeed this color is being set back after a while, I assume after CT freezing, despite first having made this change and closing CT. There might be more colors concerned.
Can anyone reproduce this?