title: Change syntax highlight colors in MySQLWorkbench
body: <p>Does anyone know of a way to change the syntax highlight colors in MySQLWorkbench on OSX? The gray color for comments is really hard for me to read. I did see <a href="https://stackoverflow.com/questions/26401408/change-comment-font-color-in-mysql-workbench-query">this solution</a>, but I suspect this is for Windows and I don't see that file anywhere in OSX.</p>