CoqIDE: fix save preferences in case GTK user preferences base folder does not exist yet fixes #16814
CoqIDE: fix save preferences in case GTK user preferences base folder does not exist yet
fixes #16814

coq/coq,coq/coq,SkySkimmer/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq,coq/coq,SkySkimmer/coq