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