Re: [Github-comments] [geany/geany] Use G_DIR_SEPARATOR instead of / when getting short name (PR #3193)