Re: [Github-comments] [geany] Different colors for warnings and errors (#864)