Hi Heinrich, sure, here it is. A simple
patch prefs-ui.cc < prefs-ui.cc.patch in the pan/gui directory will apply this patch in case anyone wants to try it. Andrew
prefs-ui.cc.patch
Description: Binary data
_______________________________________________ Pan-users mailing list Pan-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/pan-users