Instead I have remarked this, but I am not sure if it is a bug.
With rev2317, after pressing the Reset defaults button in Synthax Highlighting, the foreground color in default is not cahnged to its default value.
Has someone else this problem?
Best wishes,
Michael