Fix history button text color on Linux (issue 7004)