On 10/23/2016 06:38 PM, Guillaume Munch wrote: > > I can revert the menu name to "Source Pane" in 2.2.x for the > documentation reasons you gave. I can also revert it in master if > the majority wants it. But I hope that my explanation reassured > you. >
I think that's a good idea for 2.2.x, and I'm sorry I didn't catch it before. As you say, the rest of the commit is fine, and helpful. Richard