Guillaume Munch cdc75e872a Revert menu name "Source Pane"
Such a change should not happen in stable. Introduced at a36706c3ff.
2016-10-25 19:33:02 +02:00
..
2016-10-25 19:33:02 +02:00