Hi Petr, Am 26.04.2016 um 17:33 schrieb Petr Kovar:
[...] >> >> Maybe someone may have a look at this patch too, if they are any obvious >> problems? > > Would like to; do you have a working patch handy? If not, I could try to > prepare one. > > This one won't merge as you say: > > https://git.gnome.org/browse/pan2/patch/?id=f7d917d4cbecab754b6cb6cb032fbd0705896e90 It won't merge because body-pane.cc was modified till then. I can create a (git) patch, because I have manually applied the above patch to the current source. I've tested Pan with the applied patch without any problem till now. I will send you the patch, so you can test it. Detlef _______________________________________________ Pan-users mailing list Pan-users@nongnu.org https://lists.nongnu.org/mailman/listinfo/pan-users