/**
 * The pane's title: its tab while another pane is open too.
 */
export const PANE_TITLE = 'Diff'