Merge proposals

texworks in Ubuntu has no merge proposals.